tcfail072.hs:23:
Ambiguous type variable(s)
- `aMK'
- in the constraint `Ord aMK'
+ `aNk'
+ in the constraint `Ord aNk'
arising from use of `g' at tcfail072.hs:23
tcfail072.hs:23:
Ambiguous type variable(s)
- `aMN'
- in the constraint `Ord aMN'
+ `aNn'
+ in the constraint `Ord aNn'
arising from use of `g' at tcfail072.hs:23