[<<][haskell][>>][..]

Sat Jun 2 09:18:44 EDT 2018

## More Free

hoistFree :: Functor g => (forall a. f a -> g a) -> Free f b -> Free g b
Lift a natural transformation from f to g into a natural
transformation from FreeT f to FreeT g.
foldFree :: Monad m => (forall x. f x -> m x) -> Free f a -> m a
The very definition of a free monad is that given a natural
transformation you get a monad homomorphism.

[Reply][About]

[<<][haskell][>>][..]