Working type annotation example