-
Simon Peyton Jones authored
Otherwise we get errors for polykinded type families; type family F a :: * Then :k F would give an ambiguity check trying to unify (F k1) with (F k2), which is all a bit stupid. I found this when investigating Trac #7939
3d0d8d02