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

| 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