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

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