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)