Merge pull request #5 from mlang/NaturalTransformation

garyb · web-flow · commit 1bce15e933db · 2018-05-24T15:10:36.000+01:00
Use ~&gt; (Data.NaturalTransformation)
diff --git a/src/Data/Functor/Mu.purs b/src/Data/Functor/Mu.purs
@@ -19,7 +19,7 @@ newtype Mu f = In (f (Mu f))
 transMu
   ∷ ∀ f g
   . (Functor g)
-  ⇒ (∀ a. f a → g a)
+  ⇒ f ~> g
   → Mu f
   → Mu g
 transMu η =
