Module type T.T2

module type T2 = sig .. end

type ('a, 'b) t