1 2 3 4 5
tcfail127.hs:3:1: Illegal polymorphic or qualified type: Num a => a -> a Perhaps you intended to use -XImpredicativeTypes In the type signature for `foo': foo :: IO (Num a => a -> a)