"And, of course, having lists of elements of just the same type and different sets of functions for different types of, say, lists is an ugly thing." Both of t

"And, of course, having lists of elements of just the same type and different sets of functions for different types of, say, lists is an ugly thing." Both of these are not the case with row polymorphism.