Make `(Typeable a, Typeable (AWSResponse a))` superclasses of `AWSRequest a`?

brendanhay / amazonka

A comprehensive Amazon Web Services SDK for Haskell.

https://amazonka.brendanhay.nz

Other

605 stars 226 forks source link

Make `(Typeable a, Typeable (AWSResponse a))` superclasses of `AWSRequest a`? #956

Closed endgame closed 5 months ago

endgame commented 1 year ago

While it's not technically necessary to implement the AWSRequest instance, all practical uses of any request type need these Typeable constraints, because retryRequest and awaitRequest run hooks. Should have minimal downstream impact because GHC can provide the instances automatically.