type 'a fiber = 'a Lwt.t
val succ : unit -> unit fiber
val print : unit -> unit fiber