Thank you! It's surprising that mypy can typecheck based on string keys like that. Cool!