ubyte
arb
gen
uint
arb
gen
ulong
arb
gen
uniqueFactorizationDomain
BaseLaws
ushort
arb
gen