sig
  type 'a t = 'a opt
  val empty : 'a t
  val return : '-> 'a t
  val map : 'a t -> ('-> 'b) -> 'b t
  val bind : 'a t -> ('-> 'b t) -> 'b t
  val test : 'a t -> bool
  val iter : 'a t -> ('-> unit) -> unit
  val case : 'a t -> (unit -> 'b) -> ('-> 'b) -> 'b
  val get : 'a t -> (unit -> 'a) -> 'a
  val option : 'a option -> 'a t
  val to_option : 'a t -> 'a option
end