λ formal type definitions for aws lambda events - View it on GitHub