blob: 653f3beb1a4c61a6fe415fbbf0cbcca0d2eee97c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
T8616.hs:8:16: error:
• Couldn't match kind ‘k1’ with ‘*’
When matching types
Any :: k1
Proxy kproxy :: *
‘k1’ is a rigid type variable bound by
the type signature for:
withSomeSing :: forall k1 (kproxy :: k1). Proxy kproxy
at T8616.hs:7:1-52
• In the expression: undefined :: (Any :: k)
In an equation for ‘withSomeSing’:
withSomeSing = undefined :: (Any :: k)
• Relevant bindings include
withSomeSing :: Proxy kproxy (bound at T8616.hs:8:1)
|
