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