Module type with_2.T