Вы это, конечно, все уже читали, но по-моему чудесно: http://habrahabr.ru/blogs/Haskell/111797/