eat more type annotations