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