type 'a t

val return  : 'a -> 'a t
val error   : Unix.error -> string -> string -> 'a t
val recover : 'a t -> using:'a t -> on:Unix.error -> 'a t

val environment_variable : string -> string t

module Operators : sig
  val ( let* ) : 'a t -> ('a -> 'b t) -> 'b t
  val ( let+ ) : 'a t -> ('a -> 'b  ) -> 'b t
  val ( ! )  : 'a -> 'a t
end