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