sig
  type +'a m
  val return : 'a -> 'a It_type.IT.It_IO.m
  val bind :
    ('a -> 'b It_type.IT.It_IO.m) ->
    'a It_type.IT.It_IO.m -> 'b It_type.IT.It_IO.m
  val bind_rev :
    'a It_type.IT.It_IO.m ->
    ('a -> 'b It_type.IT.It_IO.m) -> 'b It_type.IT.It_IO.m
  val error : exn -> 'a It_type.IT.It_IO.m
  val catch :
    (unit -> 'a It_type.IT.It_IO.m) ->
    (exn -> 'a It_type.IT.It_IO.m) -> 'a It_type.IT.It_IO.m
  type output_channel
  val stdout : It_type.IT.It_IO.output_channel
  val write :
    It_type.IT.It_IO.output_channel -> string -> unit It_type.IT.It_IO.m
  type input_channel
  val open_in : string -> It_type.IT.It_IO.input_channel It_type.IT.It_IO.m
  val close_in : It_type.IT.It_IO.input_channel -> unit It_type.IT.It_IO.m
  val read_into :
    It_type.IT.It_IO.input_channel ->
    string -> int -> int -> int It_type.IT.It_IO.m
  val runIO : 'a It_type.IT.It_IO.m -> [ `Error of exn | `Ok of 'a ]
end