some type annotations