On Aug 11, 11:03 am, Jesper Louis Andersen <jesper.louis.ander...@REDACTED> wrote: > Parameterized modules make me warm and fuzzy because they seem to give > a way to implement ML-style functors (maps from modules to modules). Yes, they do. This is the real functional fun :)