testsuite/tests/typecheck/should_fail/tcfail208.stderr

   1 \r
   2 tcfail208.hs:4:19: error:\r
   3     Could not deduce (Eq (m a)) arising from a use of ‘==’\r
   4     from the context: (Monad m, Eq a)\r
   5       bound by the type signature for:\r
   6                  f :: (Monad m, Eq a) => a -> m a -> Bool\r
   7       at tcfail208.hs:3:1-40\r
   8     In the expression: (return x == y)\r
   9     In an equation for ‘f’: f x y = (return x == y)\r