testsuite/tests/typecheck/should_fail/tcfail072.stderr-hugs


1
2
3
4
5

ERROR "tcfail072.hs":23 - Cannot justify constraints in explicitly typed binding
*** Expression    : g
*** Type          : (Ord a, Ord b) => AB a b -> Bool
*** Given context : (Ord a, Ord b)
*** Constraints   : (Ord c, Ord d)