Safe dead code removal in a pure functional language

https://jfmengels.net/safe-dead-code-removal/