data Vertex1 a

data Vertex2 a

data Vertex3 a

data Vertex4 a

data Vector1 a

data Vector2 a

data Vector3 a

data Vector4 a