A derived class with its own type parameters