Fix impredicativity (again)
[ghc.git] / testsuite / tests / typecheck / should_fail / T11464.hs
2016-01-21  Simon Peyton JonesStrip casts in checkValidInstHead