On Thu, Aug 08, 2013 at 05:23:50PM +0100, Oliver Charles wrote: > On 08/08/2013 05:05 PM, Tom Ellis wrote: > > On Thu, Aug 08, 2013 at 03:38:41PM +0200, Jerzy Karczmarczuk wrote: > >>> One could simply implement IO as a free monad > >> Interesting. I wonder how. > > > > See [1] for an explanation of free monads in general > > You're lacking a matching definition of [1] :)
Ah thank you! [1] http://www.haskellforall.com/2012/06/you-could-have-invented-free-monads.html _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
