Twitter API bindings and OAuth 1.0A client in Typed Racket