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 }
 }