How to declare polymorphic instances for higher-kinded types?

Andres Löh andres at
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,
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Resolve.hs
Type: text/x-haskell
Size: 1767 bytes
Desc: not available
URL: <>

More information about the Glasgow-haskell-users mailing list