[<<][haskell][>>][..]
Sun May 27 08:33:02 EDT 2018

Free Monad

Sometimes, a one-line explanation does it all.
http://hackage.haskell.org/package/free-5.0.2/docs/Control-Monad-Free.html

Monads provide substitution (fmap) and renormalization (join):

    m >>= f = join (fmap f m)

A free Monad is one that does no work during the normalization step
beyond simply grafting the two monadic values together.




[Reply][About]
[<<][haskell][>>][..]