3 Ambiguous type variable(s) `p' in the constraint `Ord p'
4 arising from use of `g' at tcfail072.hs:23
5 in the definition of function `g': g A
8 Ambiguous type variable(s) `q' in the constraint `Ord q'
9 arising from use of `g' at tcfail072.hs:23
10 in the definition of function `g': g A