Module Module_type_of.T

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