Data.Number.Internal

type Hom

type BiHom

hom

biHom

toNumber

cut

first

rest

join

split