1 2 3 4 5 6
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