Control.Category.Discrete

data Discrete a b

liftDiscrete

cast

inverse