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