Wibble after #8218
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail181.stderr
1
2 tcfail181.hs:17:9:
3     Could not deduce (Monad m0) arising from a use of ‛foo’
4     from the context (Monad m)
5       bound by the inferred type of
6                wog :: Monad m => t -> Something (m Bool) e
7       at tcfail181.hs:17:1-30
8     The type variable ‛m0’ is ambiguous
9     Note: there are several potential instances:
10       instance Monad ((->) r) -- Defined in ‛GHC.Base’
11       instance Monad IO -- Defined in ‛GHC.Base’
12       instance Monad [] -- Defined in ‛GHC.Base’
13       ...plus one other
14     In the expression: foo
15     In the expression: foo {bar = return True}
16     In an equation for ‛wog’: wog x = foo {bar = return True}