blob: 8c657c8116462cf422c13d5b5cf9b9b904b621d1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
T3330c.hs:23:43:
Couldn't match kind `*' with `* -> *'
When matching types
Der ((->) x) :: * -> *
R :: (* -> *) -> *
Expected type: Der ((->) x) (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)'
In the expression: Inl (plug rf df x)
|