1.0 => valid 1 => valid
Don't rely on Data.Vector.V2 and friend anymore, but use the types we have from Diagrams already and enhance them.