The names of the product elements
The name of the type
Implicit ArrMapBuilder type class instance / evidence for SqCen and SqCens.