ncf: 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.