Hello,

> > As for extension, I'm fully satisfied. But the verbosity level is 
> > annoying for scalability...
> 
> Well, yes, that's always the problem with functors...

Since there are some people (including me) 
who are interested in using functors and recursive modules 
in the style of object-oriented context, 
I thought that it could be useful to devise 
a (camlp4) syntax extension which mitigates this a bit painful verbosity. 

At the moment, I have no idea which syntax is general enough and intuitive for us,
but as far as I understand we always follow similar encodings. 

With best regards,
Keiko