blob: 75392ea2baef0bf32dc8aa5a85976955726912d0 (
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
|
T9834.hs:23:10: warning: [-Wdeferred-type-errors (in -Wdefault)]
• 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: [-Wdeferred-type-errors (in -Wdefault)]
• 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-74
‘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-19
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)
|