val return : 'a ‑> 'a T.t
val (>>=) : 'a T.t ‑> ('a ‑> 'b T.t) ‑> 'b T.t
val (>>|) : 'a T.t ‑> ('a ‑> 'b) ‑> 'b T.t
module Let_syntax : sig ... end