The author brings up modules and functors. A more charitable interpretation is that they want ad hoc polymorphism but are handed parametric polymorphism instead.