From 5e0fbd8d8c6311ee4e5eed9d708ecc97cbe404bf Mon Sep 17 00:00:00 2001
From: Rob Rix <rob.rix@github.com>
Date: Thu, 22 Oct 2015 15:51:52 -0400
Subject: [PATCH] Revert "Constrain Free equality over CofreeType to terms
 whose annotations are equatable."

This reverts commit a79f354992cbca36fa3e55de648e6bc6c55f956b.
---
 prototype/Doubt/Free.swift | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/prototype/Doubt/Free.swift b/prototype/Doubt/Free.swift
index d58b3d358..ad2682164 100644
--- a/prototype/Doubt/Free.swift
+++ b/prototype/Doubt/Free.swift
@@ -193,7 +193,7 @@ public func == <Leaf: Equatable, Value: Equatable, Annotation: Equatable> (left:
 	return Free.equals(pure: ==, leaf: ==)(left, right)
 }
 
-public func == <Term: CofreeType where Term.Leaf: Equatable, Term.Annotation: Equatable> (left: Free<Term.Leaf, Term.Annotation, Patch<Term>>, right: Free<Term.Leaf, Term.Annotation, Patch<Term>>) -> Bool {
+public func == <Term: CofreeType where Term.Leaf: Equatable> (left: Free<Term.Leaf, Term.Annotation, Patch<Term>>, right: Free<Term.Leaf, Term.Annotation, Patch<Term>>) -> Bool {
 	return Free.equals(pure: Patch.equals(Term.equals(==)), leaf: ==)(left, right)
 }