"Put A Type On It: Idris Type Providers for AWS Resources" by Susan Potter