Distributivity for endofunctors, pointed and co-pointed endofunctors, monads and comonads.