Parameter Make.Io

type 'a t
val return : 'a -> 'a t
val raise : exn -> 'a t
module O : sig ... end