LinearAlgebra.TypedSpaces.Vector

data Vector i a