blob: 409e66ae6c15abd72adcfa094474fddca347e6d0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
T9017.hs:8:7: error:
• Couldn't match kind ‘k1’ with ‘*’
‘k1’ is a rigid type variable bound by
the type signature for:
foo :: forall k k1 (a :: k -> k1 -> *) (b :: k) (m :: k -> k1).
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)
|
