[
  Datatype vectors
  Funcon   vector
  Funcon   vector-elements
]

Meta-variables
  T <: values

Datatype
  vectors(T) ::= vector(_:(T)*)

Funcon
  vector-elements(_:vectors(T)) : =>(T)*
Rule
  vector-elements(vector(V*:(T)*)) ~> V*