[Haskell-cafe] Identity of indiscernibles

[Tom Ellis]

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