functor (M : Amall_types.MONAD_SEQUENCE) ->
  functor (F : Amall_types.FUNCTOR) ->
    sig val mapM : ('a -> 'b M.m) -> 'a F.t -> 'b F.t M.m end