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

[Simon Peyton-Jones]

| 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.

Simon