blob: 8a9e23bb9d22f00c75f4c1caacd86b4fbcaed35e (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
T1897a.hs:9:1:
Could not deduce (Wob a0 b)
arising from the ambiguity check for ‘foo’
from the context (Wob a b)
bound by the inferred type for ‘foo’: Wob a b => b -> [b]
at T1897a.hs:9:1-24
The type variable ‘a0’ is ambiguous
When checking that ‘foo’
has the inferred type ‘forall a b. Wob a b => b -> [b]’
Probable cause: the inferred type is ambiguous
|