doi: 10.5281/zenodo.21452059
Commits 09267d0: Support recursion in defunctionalisation. (Troels Henriksen)