sig
  type 'a t
  val label : ('a BatReturn.t -> 'a) -> 'a
  val with_label : ('a BatReturn.t -> 'a) -> 'a
  val return : 'a BatReturn.t -> 'a -> 'b
end