Recursion on the countable functionals | lit.salon