OK, I understand. If AtPark isn't implemented, then it should raise an error. But an async Park() without AtPark is a spec violation.