Port type annotations