Place holder for common Variants and Fields interface
module M : functor (X : sig ... end) -> sig ... end
module type S : sig ... end