blob: 52d6afe3e7ec5daae42624e4cb8129fc39553eca (
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)
|