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