Required Distributive as a superclass