blob: 4d9e6d5be6e9e53297cf55a3e5610310427121e5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
T3330c.hs:23:43: error:
• Couldn't match kind ‘* -> *’ with ‘*’
When matching types
f1 :: * -> *
Der f1 x :: *
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)
rf :: R f1 (bound at T3330c.hs:23:13)
plug' :: R f -> Der f x -> x -> f x (bound at T3330c.hs:23:1)
|
