val sexp_of_t : ('a ‑> Core.Sexp.t) ‑> 'a t ‑> Core.Sexp.t
include Core.Monad.S with type a t := a t
include Base__.Monad_intf.S_without_syntax with type a t := a t
include Base__.Monad_intf.Infix with type a t := a t
module Monad_infix : Base__.Monad_intf.Infix with type a t := a t