type annotations, handler type