Working towards Data.Vector.Mixed