Comment by chabska

That misses the whole point, in that you cannot refer to Y inside of Y in an environment that doesn't have recursion.