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