Merge branch 'topic/applicative-instance'

Author: ethul

src/Control/Monad/Free.purs.hs

@@ -13,6 +13,10 @@ instance functorFree :: (Functor f) => Functor (Free f) where
     go (Pure a)  = Pure (f a)
     go (Free fa) = Free (go <$> fa)
 
+instance applicativeFree :: (Functor f) => Applicative (Free f) where
+  pure = return
+  (<*>) = ap
+
 instance monadFree :: (Functor f) => Monad (Free f) where
   return = Pure
   (>>=) (Pure a) f = f a