`(take 9 (induce ^xy(+ x y) 0 1)) => (0 1 1 2 3 5 8 13 21)`