Module type Base__T.T