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

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...