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