explicit return type annotations