Control.Category.Distributive

Distributive Categories

factor

class Distributive k