sig
  type 'a m
  val return : 'a -> 'a Amall_types.MONAD_SEQUENCE.m
  val bind_rev :
    'a Amall_types.MONAD_SEQUENCE.m ->
    ('a -> 'b Amall_types.MONAD_SEQUENCE.m) ->
    'b Amall_types.MONAD_SEQUENCE.m
  val sequence_array :
    'a Amall_types.MONAD_SEQUENCE.m array ->
    'a array Amall_types.MONAD_SEQUENCE.m
end