blob: 6249bf7b62e925962b4e21793575afe6a8da1be4 (
plain)
1
2
3
4
5
6
7
8
9
|
T8616.hs:8:29: error:
• Expected a type, but ‘(Any :: k)’ has kind ‘k’
• 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)
|