blob: 9aa4ab50d92b9f152c283a0a217b3454c665068f (
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 ‘k’ with ‘*’
‘k’ is a rigid type variable bound by
the type signature for:
withSomeSing :: forall k (kproxy :: k). Proxy kproxy
at T8616.hs:7:1-50
When matching types
a0 :: *
Any :: k
• 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)
|
