Module Deriving_monad.IO

module IO: sig .. end

include Deriving_monad.Monad

val putStr : string -> unit m

val runIO : 'a m -> 'a

val mkIO : (unit -> 'a) -> 'a m