-
Simon Peyton Jones authored
If you are going for impredicative types you almost certainly want RankN too. The change to TcMType improves the error when you say T (forall a. blah) where T is a type synonym. This doesn't necessarily need impredicativity, if you have LiberalTypeSynonyms.
2d9c6a02