Control.Category.Distributive
Distributive Categories
factor
class
Distributive
hom prod sum