Settable implies Distributive/Traversable