innerProductSpace
VectorSpaceLaws
interval
arb
gen