Module Expansion.DeepEquality2

module type MODTYPE = sig ... end
type foo
module M : sig ... end