
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
