Hello,

2010/6/2 Dario Teixeira <darioteixeira@yahoo.com>
-------------------------------------------------
|               | 0-arity       | n-arity (n>0) |
-------------------------------------------------
| Valueish      | value         | function      |
|               |               |               |
| Moduleish     | module        | functor       |
-------------------------------------------------

I disagree with your terminology. Below is the one I use:

-------------------------------------------------
|               | 0-arity       | n-arity (n>0) |
-------------------------------------------------
| Value     | constant    | function       |
|               |                   |                    |
| Module  | structure     | functor        |
-------------------------------------------------


Second, does the promotion of modules to first-class values also extend to
higher-order modules, ie, functors? 

If I well understood what Alain Frisch and Xavier Leroy explained, modules (including both structures and functors) become first class value: structures may be converted to records and functors to functions; and conversely. But I let more informed person confirm this.

--
Julien