+
+tcfail067.hs:1: tcfail067.hs:76: Context required by inferred type, but missing on a type signature:
+ at a use of an overloaded identifier: `SubRange'
+ `PrelBase.Ord' `a{-a1dZ-}'
+ When checking signature(s) for: `numSubRangeBinOp'
+
+tcfail067.hs:65: tcfail067.hs:61: Context required by inferred type, but missing on a type signature:
+ at a use of an overloaded identifier: `numSubRangeNegate'
+ `PrelBase.Ord' `a{-a1fx-}'
+ When checking methods of an instance declaration
+
+
+Compilation had errors