Built a proof of concept of using the Typescript type-checker to verify permissions at compile-time in Lambda functions on CDK serverless setups.
https://dev.to/spalladino/type-checking-lambda-permissions-with-typescript-2de7
https://dev.to/spalladino/type-checking-lambda-permissions-with-typescript-2de7