Class no longer needs to be generic. Can no longer compare types to their subtypes.