Control.Category.Distributive

Distributive Categories

class Distributive hom prod sum