Type family to get IAM action name from a request type?

[endgame]

It could be neat to have a type family that maps things like Amazonka.DynamoDB.GetItem to "dynamodb:GetItem" :: Symbol. Might be a way to answer "which calls might this block of code make?" when combined with the right effect system library?