testsuite/tests/typecheck/should_fail/tcfail127.stderr


1
2
3
4
5


tcfail127.hs:3:8:
    Illegal polymorphic or qualified type: Num a => a -> a
    Perhaps you intended to use ImpredicativeTypes
    In the type signature for ‛foo’: foo :: IO (Num a => a -> a)