blob: 73da26c4f49e20d2d0b2a339db96e71311ad1933 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
T7696.hs:7:6: error:
Couldn't match kind ‘* -> *’ with ‘*’
When matching types
t0 :: (* -> *) -> *
w :: * -> *
Expected type: ((), w ())
Actual type: (m0 a0, t0 m0)
In the expression: f1
In an equation for ‘f2’: f2 = f1
Relevant bindings include f2 :: ((), w ()) (bound at T7696.hs:7:1)
|