[Haskell-cafe] Identity of indiscernibles
tom-lists-haskell-cafe-2013 at jaguarpaw.co.uk
Thu Aug 8 18:32:21 CEST 2013
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  for an explanation of free monads in general
> You're lacking a matching definition of  :)
Ah thank you!
More information about the Haskell-Cafe