type 'a t
val map : 'a t -> ('a -> 'b t) -> 'b t
val iter : 'a t -> ('a -> unit t) -> unit t
val close : 'a t -> unit