Isn't ending up back where you started the whole point of using a Y combinator? Fortunately xmonad is written in a language with lazy evaluation, otherwise the recursion would never terminate and we'd overflow the stack.

Sorry, too much functional programming on the brain...