Tagged optional-vacuum