Merge pull request #15 from purescript-contrib/cofree-export-fixed

paf31 · paf31 · commit 17586490a636 · 2014-11-02T08:14:03.000-08:00
Don't export Cofree constructor
diff --git a/MODULE.md b/MODULE.md
@@ -85,8 +85,7 @@
 
 ### Types
 
-    data Cofree f a where
-      Cofree :: a -> Trampoline (f (Cofree f a)) -> Cofree f a
+    data Cofree f a
 
 
 ### Type Class Instances
diff --git a/src/Control/Comonad/Cofree.purs b/src/Control/Comonad/Cofree.purs
@@ -1,5 +1,5 @@
 module Control.Comonad.Cofree
-  ( Cofree(..) -- FIXME: Purescript error (can't infer kinds in externs unless constructor exported)
+  ( Cofree()
   , mkCofree
   , head
   , tail
