Control.Category.Discrete
data Discrete a b