blob: cfc5570c666555dad67be26564d8133294c200e0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
T3440.hs:11:22:
Could not deduce: a1 ~ a
from the context: Fam a ~ Fam a1
bound by a pattern with constructor:
GADT :: forall a. a -> Fam a -> GADT (Fam a),
in an equation for ‘unwrap’
at T3440.hs:11:9-16
‘a1’ is a rigid type variable bound by
a pattern with constructor:
GADT :: forall a. a -> Fam a -> GADT (Fam a),
in an equation for ‘unwrap’
at T3440.hs:11:9
‘a’ is a rigid type variable bound by
the type signature for: unwrap :: GADT (Fam a) -> (a, Fam a)
at T3440.hs:10:11
In the expression: x
In the expression: (x, y)
Relevant bindings include
y :: Fam a1 (bound at T3440.hs:11:16)
x :: a1 (bound at T3440.hs:11:14)
unwrap :: GADT (Fam a) -> (a, Fam a) (bound at T3440.hs:11:1)
|
