SML has arguably the most complicated/powerful module system of any existing programming language.\xa0 It is a luxury RV to Haskell's camper van.\xa0 I take a high-level look, following a very nice paper by Xavier Leroy, titled "A modular module system".