-tcfail072.hs:17: Ambiguous context `{Ord taEJ}'
- `Ord taEJ' arising from use of `g' at tcfail072.hs:23
- When checking signature(s) for: `g'
+tcfail072.hs:23:
+ Ambiguous type variable(s)
+ `aMK'
+ in the constraint `Ord aMK'
+ arising from use of `g' at tcfail072.hs:23
+
+tcfail072.hs:23:
+ Ambiguous type variable(s)
+ `aMN'
+ in the constraint `Ord aMN'
+ arising from use of `g' at tcfail072.hs:23
+
Compilation had errors