module type Monad_sequence = Monad_sequence with type 'a monad := 'a t
Monad_sequence
with type 'a monad := 'a t