Data.AffineSpace.Point
Points
data
Point
v
unPoint
origin
(*.)