Fully-parameterized, first-class modules with hygienic macros. - Josef Martin Gasbichler (2006)