testsuite/tests/typecheck/should_fail/tcfail040.stderr

   1
   2 tcfail040.hs:19:5: error:
   3     Ambiguous type variable ‘a0’ arising from a use of ‘<<’
   4     prevents the constraint ‘(ORD a0)’ from being solved.
   5     Probable fix: use a type annotation to specify what ‘a0’ should be.
   6     These potential instance exist:
   7       instance ORD (a -> b) -- Defined at tcfail040.hs:17:10
   8     In the first argument of ‘(===)’, namely ‘(<<)’
   9     In the expression: (<<) === (<<)
  10     In an equation for ‘f’: f = (<<) === (<<)