Applicative.Let_syntax
type 'a t
module Open_on_rhs_intf : sig ... end
module Let_syntax : sig ... end