blob: 101caab6e7ddb5951c428ba15124bd1a7f5f8f42 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
T1897a.hs:9:1: error:
Could not deduce (Wob a0 b)
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
In the ambiguity check for the inferred type for ‘foo’
To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
When checking the inferred type
foo :: forall a b. Wob a b => b -> [b]
|