Tag: inline type annotations