From 522757c121f07f47978d35cb2dad25b6717bf755 Mon Sep 17 00:00:00 2001
From: Rob Rix <rob.rix@github.com>
Date: Thu, 15 Oct 2015 15:42:24 -0400
Subject: [PATCH] Replace CofreeConvertible with CofreeType.

---
 prototype/Doubt/Cofree.swift | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/prototype/Doubt/Cofree.swift b/prototype/Doubt/Cofree.swift
index aceee7853..58100441b 100644
--- a/prototype/Doubt/Cofree.swift
+++ b/prototype/Doubt/Cofree.swift
@@ -114,12 +114,12 @@ extension Cofree where B: Categorizable {
 
 // MARK: - CofreeConvertible
 
-public protocol CofreeConvertible {
-	typealias Leaf
+public protocol CofreeType {
 	typealias Annotation
+	typealias Leaf
 
-	init(cofree: Cofree<Leaf, Annotation>)
-	var cofree: Cofree<Leaf, Annotation> { get }
+	var extract: Annotation { get }
+	var unwrap: Syntax<Self, Leaf> { get }
 }