Alice ML, an SML variant that Andreas Rossberg worked on mid-2000, also has first class modules.