Large-scale design in Haskell?

It's amazing that I can ask a question like this on SO and have one of the world's experts answer. The conclusion was, basically, read Xmonad.