Control.Category.Discrete
data
Discrete
a b
liftDiscrete
cast
inverse