[Haskell-cafe] Identity of indiscernibles

Oliver Charles ollie at ocharles.org.uk
Thu Aug 8 18:23:50 CEST 2013

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] :)

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 490 bytes
Desc: OpenPGP digital signature
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20130808/51dd2307/attachment.pgp>

More information about the Haskell-Cafe mailing list