testsuite/tests/polykinds/T8616.stderr


1
2
3
4
5
6
7


T8616.hs:8:29:
    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)