Module type Inner.Empty