Yeah, it's important to annotate anything that interacts with the outside world, because that code/API isn't available for the compiler to reason about before r

Yeah, it's important to annotate anything that interacts with the outside world, because that code/API isn't available for the compiler to reason about before run-time. Same goes with HTTP endpoints (on both the client and the server)