Merge pull request #21 from ethul/topic/freec-partially

Partially apply FreeC

Author: garyb

README.md

@@ -46,7 +46,7 @@
       Free :: f (Free f a) -> Free f a
       Gosub :: (forall s. (forall r. (Unit -> Free f r) -> (r -> Free f a) -> s) -> s) -> Free f a
 
-    type FreeC f a = Free (Coyoneda f) a
+    type FreeC f = Free (Coyoneda f)
 
 
 ### Type Classes

examples/TeletypeCoproduct.purs

@@ -57,9 +57,9 @@ teletype3N :: forall e. Natural Teletype3F (Eff (trace :: Trace | e))
 teletype3N (Print3 s a) = const a <$> trace ("teletype3: " ++ s)
 
 tN :: forall e. Natural TF (Eff (trace :: Trace | e))
-tN fa = fromJust$ (teletype1N <$> prj fa) <|>
-                  (teletype2N <$> prj fa) <|>
-                  (teletype3N <$> prj fa)
+tN fa = fromJust $ (teletype1N <$> prj fa) <|>
+                   (teletype2N <$> prj fa) <|>
+                   (teletype3N <$> prj fa)
 
 run :: forall a. T a -> Eff (trace :: Trace) a
 run = goEffC tN

src/Control/Monad/Free.purs

@@ -22,7 +22,7 @@ data Free f a = Pure a
               | Free (f (Free f a))
               | Gosub (forall s. (forall r. (Unit -> Free f r) -> (r -> Free f a) -> s) -> s)
 
-type FreeC f a = Free (Coyoneda f) a
+type FreeC f = Free (Coyoneda f)
 
 class MonadFree f m where
   wrap :: forall a. f (m a) -> m a