As far as I’m aware, there isn’t a built-in solution for statically typing a configuration for CDK. So after a bit of research, I created a way of doing it!
With the rise of remote work, the possibility of a working vacation became an appealing option for seeing the world while still preserving paid time off.