Distributive functors -- Dual to Traversable
