Distributive Conditional Types