I mean any function that recurses like: "(((i "f"a)" f "a)"f" a) ..." i.e. "i ``f`` a" "(i ``f`` a) ``f`` a" "((i ``f`` a) ``f`` a) ``f`` a" etc.