tcfail197.hs:5:8: error:
    • Illegal polymorphic or qualified type: forall a1. a1
      GHC doesn't yet support impredicative polymorphism
    • In the type signature:
        foo :: [forall a. a] -> Int