blob: 4a2473ab5121085362f50b3d082e8231a1f9ffee (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
T9017.hs:8:7: error:
• Couldn't match kind ‘k’ with ‘*’
‘k’ is a rigid type variable bound by
the type signature for:
foo :: forall k k1 (a :: k1 -> k -> *) (b :: k1) (m :: k1 -> k).
a b (m b)
at T9017.hs:7:8
When matching the kind of ‘a’
• In the expression: arr return
In an equation for ‘foo’: foo = arr return
• Relevant bindings include
foo :: a b (m b) (bound at T9017.hs:8:1)
|