Haskell EDSL and Type-Checker for AWS CloudFormation Templatesgithub.com/frontrowed2 pointsmooreds8 years ago