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