S> those subtypes will inherit some useful methods, some of which take subtype specific arguments (or otherwise depend on the subtype).