Haskell EDSL and type-checker for AWS CloudFormation templates - View it on GitHub