How to type DynamoDB GetCommand - Theo's Typesafe Cult