Typerep_lib.Type_generic_intf
module M : functor (X : sig ... end) -> sig ... end
module type S = sig ... end