data Iter = f => FoldNat <const $f One, $f>
data Ackermann = FoldNat <const Succ, Iter>