Annotated Function Definition with Type Signature