recursion example using fix-point operator.