blob: d0a8320384d93642f5ba226c9377fb8c4af43e51 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
T3330c.hs:23:43: error:
Couldn't match kind ‘*’ with ‘* -> *’
When matching types
Der ((->) x) :: * -> *
R :: (* -> *) -> *
Expected type: Der ((->) x) (Der f1 x)
Actual type: R f1
In the first argument of ‘plug’, namely ‘rf’
In the first argument of ‘Inl’, namely ‘(plug rf df x)’
Relevant bindings include
x :: x (bound at T3330c.hs:23:29)
df :: Der f1 x (bound at T3330c.hs:23:25)
plug' :: R f -> Der f x -> x -> f x (bound at T3330c.hs:23:1)
|