[Xmonad] Wanted: extended static checking for xmonad

[Donald Bruce Stewart]

When working on xmonad, we're trying to produce very clean, correct
code -- a window manager that just works. To do this, we're looking to
employ more static checking tools to the code base. Currently we use:

    * QuickCheck (checks high level window manager behaviour)
    * Catch (Neil's pattern match verifier, caught a couple of bugs)
    * ghc -Wall

One other tool we're considering:
    
    * HPC. check program coverage of the test suite.

But I suspect that there's an awful lot of other small checkers of
various kinds out there. 

So: 
    * Do you know of some other cool code checking tool for Haskell?
    * That could be used on xmonad (xmonad.org) to reduce code smell? 

If so, let us know! :-)

-- Don

P.S. Perhaps it is time for a wiki page documenting the available
extended static checking tools for Haskell.