Mechanically Deriving Tree Iterators with Continuation Defunctionalization · HackerTrans