how do I recurse in this fashion? "i ``f`` a" "(i ``f`` a) ``f`` a" "((i ``f`` a) `` f `` a) ``f`` a"