Note that applications of the following functors are only as stable as Key and Value.
Key
Value
module V1 : sig ... end