Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail181.stderr
1
2 tcfail181.hs:17:9: error:
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 => p -> Something (m Bool) e
7         at tcfail181.hs:17:1-30
8       The type variable ‘m0’ is ambiguous
9       These potential instances exist:
10         instance Monad IO -- Defined in ‘GHC.Base’
11         instance Monad Maybe -- Defined in ‘GHC.Base’
12         instance Monoid a => Monad ((,) a) -- Defined in ‘GHC.Base’
13         ...plus one other
14         ...plus one instance involving out-of-scope types
15         (use -fprint-potential-instances to see them all)
16     • In the expression: foo
17       In the expression: foo {bar = return True}
18       In an equation for ‘wog’: wog x = foo {bar = return True}