sig
  type 'a t
  type output
  val ( >>= ) :
    'a CCPrint.MONAD_IO.t ->
    ('a -> 'b CCPrint.MONAD_IO.t) -> 'b CCPrint.MONAD_IO.t
  val write : CCPrint.MONAD_IO.output -> string -> unit CCPrint.MONAD_IO.t
end