Module type Base__T.T1