Use ~> (Data.NaturalTransformation)

mlang · mlang · commit bcf0d1110746 · 2017-03-07T21:13:06.000+01:00
diff --git a/src/Data/Functor/Mu.purs b/src/Data/Functor/Mu.purs
@@ -18,7 +18,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 η =
