Basement.Bounded
data
Zn64
n
unZn64
data
Zn
n
unZn
zn64
zn
zn64Nat
znNat