How AWS REST APIs work, and how Paws is built