sig
  val pass : ('a -> 'b) -> 'a -> 'b
  val print : 'a BatInnerIO.output -> exn -> unit
end