xmonadの実装は、副作用に支配されるソフトウェアを、純粋関数型データ構造や、表現力の高い型システム、高度な静的検査、特性に基いたテストを利用したhaskellから予想されるように、正確で効率的に開発可能であることを示している。