blob: 8acf58c9b500e076c2e3256b986fd7132ea6f315 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
T9017.hs:8:7: error:
• Couldn't match kind ‘k2’ with ‘*’
‘k2’ is a rigid type variable bound by
the type signature for:
foo :: forall {k2} {k3} (a :: k2 -> k3 -> *) (b :: k2)
(m :: k2 -> k3).
a b (m b)
at T9017.hs:7:1-16
When matching types
a0 :: * -> * -> *
a :: k2 -> k3 -> *
Expected type: a b (m b)
Actual type: a0 a1 (m0 a1)
• 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)
|
