Diagrams.TwoD.Types
2D Euclidean space
data
R2
r2
unr2
mkR2
r2Iso
type
P2
p2
mkP2
unp2
p2Iso
type
T2