A Functional Proof Pearl: Inverting the Ackermann Heirarchy