I don’t see how generic programming (a la polymorphic types as presented) is the only or even the best solution to this problem.