Control.Category.Distributive
Distributive Categories
factor
class
Distributive
k