Module MapM (.ml)

module MapM: sig .. end

module Make: 
functor (M : Amall_types.MONAD_SEQUENCE) -> 
functor (F : Amall_types.FUNCTOR) -> sig .. end