[acchow]

This is what people due when generic types (parametric polymorphism) wouldn't be involved.

But if you need type parameters, then you wouldn't be able to do this.