module IO:io-monadsig
..end
include Monad.MONAD
val write : string -> unit t
val write_line : string -> unit t
val read_line : string t
val file_exists : string -> bool t
val read_file : string -> string Lst.t t
val write_file : string -> char Lst.t -> bool t