Of_monad3.M
type ('a, 'b, 'c) t
val to_monad : ('a, 'b, 'c) t -> ('a, 'b, 'c) Monad.t
val of_monad : ('a, 'b, 'c) Monad.t -> ('a, 'b, 'c) t