Re: [Haskell-cafe] extensible effects and open unions

On 02/12/14 17:31, oleg@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