HVectors could be subtypes only when if they are equal length.