lessArbitraryNat
numeric
lessArbitraryWit
numeric
lessEqualArbitraryNat
numeric
lessEqualArbitraryWit
numeric
letterArbitrary
char
long
Bounded
lowerCaseArbitrary
char