sig
  type ('a, 'b) t = Good of 'a | Bad of 'b
  val ignore_good : ('a, exn) My_std.Outcome.t -> unit
  val good : ('a, exn) My_std.Outcome.t -> 'a
  val wrap : ('a -> 'b) -> 'a -> ('b, exn) My_std.Outcome.t
end