Nat Recursion API looking good
Nesting zippers.