AWS API Typed Racket Library