[Haskell-cafe] Identity of indiscernibles

Daniel Trstenjak daniel.trstenjak at gmail.com
Thu Aug 8 18:25:12 CEST 2013

Hi Tom,

> See [1] for an explanation of free monads in general.  For IO in particular,
> define a functor
>     data IOF a = GetChar (Char -> a) | PutChar Char a | ...
> with constructors for all elementary IO operations.

But how should this work if the user adds an IO operation, e.g by wrapping a C function?


More information about the Haskell-Cafe mailing list