Module_type_of.T
module type T = sig ... end
module M = X
module N : module type of struct include M end