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

[Gábor Lehel]

On Sun, Sep 16, 2012 at 5:49 PM, Simon Peyton-Jones
<simonpj at microsoft.com> wrote:
>
> Fixing Any
> ~~~~~~~
> * I think we can fix the Any problem readily by making Any into a type family,
>      that has no instances.   We certainly allow equalities with a type
>      *family* application on the left and a type constructor on the right.
>      I have implemented this change already... it seems like a good plan.
>

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

-- 
Your ship was destroyed in a monadic eruption.