From 8d93a77b86abbb0533dec16d0afbfd405e23cb45 Mon Sep 17 00:00:00 2001
From: Rob Rix <rob.rix@github.com>
Date: Thu, 15 Oct 2015 15:31:51 -0400
Subject: [PATCH] Add a CofreeConvertible protocol.

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

diff --git a/prototype/Doubt/Cofree.swift b/prototype/Doubt/Cofree.swift
index 862e401cf..aceee7853 100644
--- a/prototype/Doubt/Cofree.swift
+++ b/prototype/Doubt/Cofree.swift
@@ -112,4 +112,15 @@ extension Cofree where B: Categorizable {
 }
 
 
+// MARK: - CofreeConvertible
+
+public protocol CofreeConvertible {
+	typealias Leaf
+	typealias Annotation
+
+	init(cofree: Cofree<Leaf, Annotation>)
+	var cofree: Cofree<Leaf, Annotation> { get }
+}
+
+
 import Prelude