From 3dcfbc0d38d46d683c15e8b4bc9f6190304e1391 Mon Sep 17 00:00:00 2001
From: Rob Rix <rob.rix@github.com>
Date: Wed, 14 Oct 2015 10:53:29 -0400
Subject: [PATCH] Equality over Cofrees of equatable types.

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

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