I recall reading at some point an article or blog post that discussed how XMonad leveraged the type system to guarantee that X errors couldn't occur. But no matter how much googling I do now I can't find it; I musn't be using the right search terms. Anyone know where it is?