1 2 3 4 5 6
tcfail209a.hs:3:6: Illegal tuple constraint: (Show a, Num a) (Use ConstraintKinds to permit this) In the type signature for āgā: g :: ((Show a, Num a), Eq a) => a -> a