Module type Recent_impl.S

module F (_ : sig ... end) : sig ... end
module X : sig ... end
val f : F(X).t