[Haskell-cafe] extensible effects and open unions

[Roman Cheplyaka]

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:
http://bit.ly/1xgo7fQ

Roman