Control.Category.Discrete
data
Discrete
a b
mapDiscrete
cast
invDiscrete