path: root/testsuite/tests/polykinds/PolyKinds02.stderr

PolyKinds02.hs:13:16: error:
    The second argument of ‘Vec’ should have kind ‘Nat’,
      but ‘Nat’ has kind ‘*’
    In the type signature: vec :: Vec Nat Nat