Not car/cdr.
Reduce nontermination to preserve structure.

Recursion on its own is going to be a bit of a pain to flatten.