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

Gábor Lehel illissius at gmail.com
Tue Sep 18 08:54:51 CEST 2012

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.

More information about the Glasgow-haskell-users mailing list