testsuite/tests/polykinds/PolyKinds02.stderr


1
2
3
4
5


PolyKinds02.hs:13:16: error: [GHC-83865]
    • Expected kind ‘Nat’, but ‘Nat’ has kind ‘*’
    • In the second argument of ‘Vec’, namely ‘Nat’
      In the type signature: vec :: Vec Nat Nat