To allow deriving poly-kinded Generic1 instances

Ryan Scott ryan.gl.scott at gmail.com
Wed Oct 13 12:16:25 UTC 2021


Hello,

I'm not quite sure I understand the issue you're hitting. Generic1 is
poly-kinded, so I would expect it to be able to handle data types where the
last type parameter has differing kinds. Can you post a complete example of
the program you expect to typecheck, but doesn't?

Best,

Ryan
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20211013/06944e1d/attachment.html>


More information about the ghc-devs mailing list