path: root/testsuite/tests/typecheck/should_fail/tcfail197.stderr

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