testsuite/tests/typecheck/should_fail/tcfail197.stderr


1
2
3
4
5


tcfail197.hs:5:8:
    Illegal polymorphic or qualified type: forall a. a
    Perhaps you intended to use -XImpredicativeTypes
    In the type signature for ‛foo’: foo :: [forall a. a] -> Int