From ad05308ab699d79df8811f1c16c9e1319fc82e89 Mon Sep 17 00:00:00 2001
From: Rob Rix <rob.rix@github.com>
Date: Thu, 22 Oct 2015 10:33:25 -0400
Subject: [PATCH] =?UTF-8?q?Define=20the=20recursive=20TermType=20=E2=86=92?=
 =?UTF-8?q?=20Free=20constructor=20over=20CofreeType=20instead.?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 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 03a3f7ff2..6eeefb510 100644
--- a/prototype/Doubt/Free.swift
+++ b/prototype/Doubt/Free.swift
@@ -14,7 +14,7 @@ public enum Free<Leaf, Annotation, Value>: CustomDebugStringConvertible, SyntaxC
 
 
 	/// Recursively copies a `Term: TermType where Term.Leaf == Leaf` into a `Free<Leaf, Value>`, essentially mapping `Term.unwrap` onto `Free.Roll`.
-	public init<Term: TermType where Term.Leaf == Leaf>(_ term: Term) {
+	public init<Term: CofreeType where Term.Leaf == Leaf>(_ term: Term) {
 		self = .Roll(term.unwrap.map(Free.init))
 	}