Parameter Of_monad.M

type 'a t
val to_monad : 'a t -> 'a Monad.t
val of_monad : 'a Monad.t -> 'a t