type 'a t
Substituted below.
val return : 'a ‑> 'a t
module Let_syntax : sig ... end with type a t := a Param.t