blob: 62249df4e5373ed5120443ae966127b2b48e9107 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
T11334b.hs:8:14: error:
• Cannot default kind variable ‘f0’
of kind: k20 -> *
Perhaps enable PolyKinds or add a kind signature
• In an expression type signature: Proxy 'Compose
In the expression: Proxy :: Proxy 'Compose
In an equation for ‘p’: p = Proxy :: Proxy 'Compose
T11334b.hs:8:14: error:
• Cannot default kind variable ‘g0’
of kind: k10 -> k20
Perhaps enable PolyKinds or add a kind signature
• In an expression type signature: Proxy 'Compose
In the expression: Proxy :: Proxy 'Compose
In an equation for ‘p’: p = Proxy :: Proxy 'Compose
T11334b.hs:8:14: error:
• Cannot default kind variable ‘a0’
of kind: k10
Perhaps enable PolyKinds or add a kind signature
• In an expression type signature: Proxy 'Compose
In the expression: Proxy :: Proxy 'Compose
In an equation for ‘p’: p = Proxy :: Proxy 'Compose
|
