externs error fix

jdegoes · jdegoes · commit f9389ce7574e · 2014-10-08T08:17:19.000-06:00
diff --git a/MODULE.md b/MODULE.md
@@ -85,7 +85,8 @@
 
 ### Types
 
-    data Cofree f a
+    data Cofree f a where
+      Cofree :: a -> Trampoline (f (Cofree f a)) -> 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()
+  ( Cofree(..) -- FIXME: Purescript error (can't infer kinds in externs unless constructor exported)
   , mkCofree
   , head
   , tail
