Fix impredicativity (again)
[ghc.git] / testsuite / tests / typecheck / should_fail / T11112.hs
2015-11-23  Simon Peyton JonesImprove constraint-used-as-type error msg