How to declare polymorphic instances for higher-kinded types?

[Andres Löh]

Hi.

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.

Cheers,
  Andres

-- 
Andres Löh, Haskell Consultant
Well-Typed LLP, http://www.well-typed.com
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Resolve.hs
Type: text/x-haskell
Size: 1767 bytes
Desc: not available
URL: <http://www.haskell.org/pipermail/glasgow-haskell-users/attachments/20120305/ca7b2b57/attachment.hs>