Free_monad.Functor
module type S = sig ... end
module type S2 = sig ... end
module type S3 = sig ... end