tcfail197.hs:5:8: error:
    • Illegal polymorphic type: forall a. a
    • In the type signature: foo :: [forall a. a] -> Int
    Suggested fix: Perhaps you intended to use ImpredicativeTypes