adding annotations to Typed.Function