Unix.Monad
type 'a t = 'a
val bind : 'a -> ('a -> 'b) -> 'b
val return : 'a -> 'a
val both : 'a -> 'b -> 'a * 'b
val list_map_p : ('a -> 'b) -> 'a list -> 'b list