Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail127.stderr
1
2 tcfail127.hs:3:8: error:
3     • Illegal qualified type: Num a => a -> a
4       GHC doesn't yet support impredicative polymorphism
5     • In the type signature:
6         foo :: IO (Num a => a -> a)