ghc/tests/typecheck/should_fail/tcfail040.stderr

   1
   2 tcfail040.hs:19:
   3     Ambiguous type variable(s) `a' in the constraint `ORD a'
   4     arising from use of `<<' at tcfail040.hs:19
   5     In the second argument of `(===)', namely `(<<)'
   6     In the right-hand side of an equation for `f': (<<) === (<<)