testsuite/tests/typecheck/should_fail/tcfail197.stderr


1
2
3
4
5
6


tcfail197.hs:5:1:
    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