blob: 2c410de0f27557f035b06138ea49f44b93e3c409 (
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
|
T9834.hs:23:12: warning: [-Wdeferred-type-errors (in -Wdefault)]
• Couldn't match type ‘a’ with ‘p a0’
Expected: p a
Actual: p a0 -> 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-74
• In the expression: wrapIdComp f
In an equation for ‘afix’: afix f = wrapIdComp f
• Relevant bindings include
f :: forall (q :: * -> *).
Applicative q =>
Comp p q a -> Comp p q a
(bound at T9834.hs:23:8)
afix :: (forall (q :: * -> *).
Applicative q =>
Comp p q a -> Comp p q a)
-> p a
(bound at T9834.hs:23:3)
T9834.hs:23:23: warning: [-Wdeferred-type-errors (in -Wdefault)]
• Couldn't match type ‘a1’ with ‘a’
Expected: Comp p q a1 -> Comp p q a1
Actual: Comp p q a -> Comp p q a
‘a1’ is a rigid type variable bound by
a type expected by the context:
forall (q :: * -> *). Applicative q => Nat (Comp p q) (Comp p q)
at T9834.hs:23:23
‘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-74
• In the first argument of ‘wrapIdComp’, namely ‘f’
In the expression: wrapIdComp f
In an equation for ‘afix’: afix f = wrapIdComp f
• Relevant bindings include
f :: forall (q :: * -> *).
Applicative q =>
Comp p q a -> Comp p q a
(bound at T9834.hs:23:8)
afix :: (forall (q :: * -> *).
Applicative q =>
Comp p q a -> Comp p q a)
-> p a
(bound at T9834.hs:23:3)
|