Parameter Make.1-M

type t
val reader : t -> Async.Reader.t
val writer : t -> Async.Writer.t