1
In fact, renaming of functor identifiers provides a mechanism that is not available in SML.