blob: 59fe8b83af9332e3b560fd101b178c15a931473d (
plain)
1
2
3
4
5
6
7
8
|
tcfail181.hs:17:9:
Ambiguous type variable `m0' in the constraint:
(Monad m0) arising from a use of `foo'
Probable fix: add a type signature that fixes these type variable(s)
In the expression: foo
In the expression: foo {bar = return True}
In an equation for `wog': wog x = foo {bar = return True}
|