type (!'a, !'b) t =
| Good of 'a
| Bad of 'b
val wrap : ( 'a -> 'b ) -> 'a -> ( 'b, exn ) t
val ignore_good : ( 'a, exn ) t -> unit
val good : ( 'a, exn ) t -> 'a
