Automating type-driven development with recursion schemes - View it on GitHub