testsuite/tests/polykinds/KindVType.stderr


1
2
3
4
5
6
7


KindVType.hs:8:8: error:
    • Couldn't match type ‘Int’ with ‘Maybe’
      Expected type: Proxy Maybe
        Actual type: Proxy Int
    • In the expression: (Proxy :: Proxy Int)
      In an equation for ‘foo’: foo = (Proxy :: Proxy Int)