Parameter Make.IO

type +'a t = 'a Scheduler.s
val bind : 'a t -> ('a -> 'b t) -> 'b t
val return : 'a -> 'a t