Type-level programming for safer resource management

How to protect aeson code from hash flooding

Type-guided development and garden paths