How to do with recursion with omega. fixed point combinators