Remove the type-checking knot.
[ghc.git] / testsuite / tests / polykinds / KindVType.stderr
1
2 KindVType.hs:8:8: error:
3     • Couldn't match type ‘Int’ with ‘Maybe’
4       Expected type: Proxy Maybe
5         Actual type: Proxy Int
6     • In the expression: (Proxy :: Proxy Int)
7       In an equation for ‘foo’: foo = (Proxy :: Proxy Int)