For those who don't already know an ML, just saying "functor" isn't helpful (the term is too overloaded). "Parameterized modules" might be a better term for th

For those who don't already know an ML, just saying "functor" isn't helpful (the term is too overloaded). "Parameterized modules" might be a better term for that context. For those who don't know, ML-style modules are significantly more interesting than most module systems, and let you pass modules as arguments to modules at import.