Applicative.Make_let_syntax3
module X : sig ... end
module Intf : sig ... end
module Impl : Intf.S
module Let_syntax : sig ... end