[Xmonad] darcs patch: Fix bug in noDuplicate invariant