[Haskell-cafe] extensible effects and open unions

Roman Cheplyaka roma at ro-che.info
Fri Jan 2 23:16:08 UTC 2015

On 02/12/14 17:31, oleg at okmij.org wrote:
> To show that one can indeed implement the interface of OpenUnion.hs as
> it is *without* Typeable or overlapping instances, I have just written
>         http://okmij.org/ftp/Haskell/extensible/OpenUnion4.hs

It is interesting to note that this is exactly the solution (to almost
the same problem) that Andres Löh and I came up with last spring:


More information about the Haskell-Cafe mailing list