summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/tcfail208.stderr
blob: d8b48cf2ebd30d2eb9350e07dbef4a85316cf142 (plain)
1
2
3
4
5
6
7
8
9

tcfail208.hs:4:10: error:
    • Could not deduce (Eq (m a)) arising from a use of ‘==’
      from the context: (Monad m, Eq a)
        bound by the type signature for:
                   f :: forall (m :: * -> *) a. (Monad m, Eq a) => a -> m a -> Bool
        at tcfail208.hs:3:1-40
    • In the expression: (return x == y)
      In an equation for ‘f’: f x y = (return x == y)