PolyKind issue in GHC 7.6.1rc1: How to make a kind a functional dependency?

Simon Peyton-Jones simonpj at microsoft.com
Tue Sep 18 09:11:06 CEST 2012

| Will unsafeCoercing to and from Any still work with this plan? (If not
| then I can just use data Anything = forall a. Anything a, so it's not a
| big deal.)

Yes I think it'll be fine, but thanks for highlighting this other use of Any.


More information about the Glasgow-haskell-users mailing list