@hackage distributive0.5

Distributive functors -- Dual to Traversable

Distributive functors -- Dual to Traversable