Distributive functors -- Dual to Traversable