functor (M : MYSELF) (V : VERBOSITY-> MESSAGES