diff --git a/prototype/Doubt/Cofree.swift b/prototype/Doubt/Cofree.swift
index 17959ac7a..c81955c74 100644
--- a/prototype/Doubt/Cofree.swift
+++ b/prototype/Doubt/Cofree.swift
@@ -74,5 +74,9 @@ extension Cofree {
 	}
 }
 
+public func == <A: Equatable, B: Equatable> (left: Cofree<A, B>, right: Cofree<A, B>) -> Bool {
+	return Cofree.equals(annotation: ==, leaf: ==)(left, right)
+}
+
 
 import Prelude