. "In particular, languages such as ML include polymorphic data types, which allow considerable programming flexibility." . . .