Semi-optional type annotation