Nova: High-speed recursive arguments from folding schemes - View it on GitHub