1 2 3 4 5
tcfail127.hs:3:8: error: • Illegal qualified type: Num a => a -> a Perhaps you intended to use ImpredicativeTypes • In the type signature: foo :: IO (Num a => a -> a)