blob: 3ce53a0c51e0c3e54d78b6301a63f0b9d9e0855d (
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
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
|
T9834.hs:23:10: warning:
Couldn't match type ‘p’ with ‘(->) (p a0)’
‘p’ is a rigid type variable bound by
the class declaration for ‘ApplicativeFix’ at T9834.hs:21:39
Expected type: (forall (q :: * -> *).
Applicative q =>
Comp p q a -> Comp p q a)
-> p a
Actual type: (forall (q :: * -> *).
Applicative q =>
Nat (Comp p q) (Comp p q))
-> p a0 -> p a0
In the expression: wrapIdComp
In an equation for ‘afix’: afix = wrapIdComp
Relevant bindings include
afix :: (forall (q :: * -> *).
Applicative q =>
Comp p q a -> Comp p q a)
-> p a
(bound at T9834.hs:23:3)
T9834.hs:23:10: warning:
Couldn't match type ‘a’ with ‘p a0’
‘a’ is a rigid type variable bound by
the type signature for:
afix :: forall a.
(forall (q :: * -> *). Applicative q => Comp p q a -> Comp p q a)
-> p a
at T9834.hs:22:11
Expected type: (forall (q :: * -> *).
Applicative q =>
Comp p q a -> Comp p q a)
-> p a
Actual type: (forall (q :: * -> *).
Applicative q =>
Nat (Comp p q) (Comp p q))
-> p a0 -> p a0
In the expression: wrapIdComp
In an equation for ‘afix’: afix = wrapIdComp
Relevant bindings include
afix :: (forall (q :: * -> *).
Applicative q =>
Comp p q a -> Comp p q a)
-> p a
(bound at T9834.hs:23:3)
T9834.hs:23:10: warning:
Couldn't match type ‘a’ with ‘a1’
‘a’ is a rigid type variable bound by
the type signature for:
afix :: forall a.
(forall (q :: * -> *). Applicative q => Comp p q a -> Comp p q a)
-> p a
at T9834.hs:22:11
‘a1’ is a rigid type variable bound by
a type expected by the context:
forall (q :: * -> *) a1.
Applicative q =>
Comp p q a1 -> Comp p q a1
at T9834.hs:23:10
Expected type: Comp p q a1 -> Comp p q a1
Actual type: Comp p q a -> Comp p q a
In the expression: wrapIdComp
In an equation for ‘afix’: afix = wrapIdComp
Relevant bindings include
afix :: (forall (q :: * -> *).
Applicative q =>
Comp p q a -> Comp p q a)
-> p a
(bound at T9834.hs:23:3)
|