Fix impredicativity (again)
[ghc.git] / testsuite / tests / typecheck / should_fail / T9196.hs
2014-06-20  Simon Peyton JonesReject forall types in constraints in signatures