def haversine_distance(lat1, lon1, lat2, lon2) -> float: ...
