[$] Type-driven configuration management with Propellor

One often hears the "infrastructure as code" refrain whenconfiguration-management systems are discussed. Normally, though, thatphrase doesn't bring into mind an image of infrastructure as Haskellcode. In his 2017 linux.conf.au talk, Joey Hess described his Propellor system and theinteresting features that a Haskell implementation makes possible, with aspecial focus on how Haskell's type-checking system can be pressed intoservice to detect configuration errors.