Implicit MapGeom2 type class instance / evidence for PtLen2 and Pt2.
Implicit Scale type class instance / evidence for PtLen2.
Implicit SlateLen2 type class instance / evidence for PtLen2.