new type annotations