Origami: (un)folding the abstraction of recursion schemes for program synthesis