1 2 3 4 5
tcfail196.hs:5:8: Illegal polymorphic or qualified type: forall a. a In the type signature for ‛bar’: bar :: Num (forall a. a) => Int -> Int