How to declare polymorphic instances for higher-kinded types?
andres at well-typed.com
Mon Mar 5 11:46:33 CET 2012
Here's a way that seems to work for me. I haven't tested in detail.
There may be problems, or also easier ways to achieve the same. The
DataKinds extension isn't essential. I've just used it for fun.
Andres Löh, Haskell Consultant
Well-Typed LLP, http://www.well-typed.com
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 1767 bytes
Desc: not available
More information about the Glasgow-haskell-users