blob: 71c2f00584ad44b322b7e8bd512ec5f592e8e8c9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
T8616.hs:8:30: error:
• Expected a type, but ‘Any :: k’ has kind ‘k’
‘k’ is a rigid type variable bound by
the type signature for:
withSomeSing :: forall k (kproxy :: k). Proxy kproxy
at T8616.hs:7:1-52
• In an expression type signature: (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)
|
