blob: 01869edd4516fb8605ed44d528df47dd6fa458f9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
T9222.hs:13:3:
Couldn't match type ‘b0’ with ‘b’
‘b0’ is untouchable
inside the constraints: a ~ '(b0, c0)
bound by the type of the constructor ‘Want’:
(a ~ '(b0, c0)) => Proxy b0
at T9222.hs:13:3
‘b’ is a rigid type variable bound by
the type of the constructor ‘Want’:
((a ~ '(b, c)) => Proxy b) -> Want a
at T9222.hs:13:3
Expected type: '(b, c)
Actual type: a
In the ambiguity check for the type of the constructor ‘Want’:
Want :: forall (k :: BOX)
(k1 :: BOX)
(a :: (,) k k1)
(b :: k)
(c :: k1).
((a ~ '(b, c)) => Proxy b) -> Want a
To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
In the definition of data constructor ‘Want’
In the data declaration for ‘Want’
|
