Haskell. Монады. Монадные трансформеры. Игра в типы

Вот есть такой пример .Net библиотеки https://github.com/louthy/language-ext, где кодогенерацией решается проблема невозможности написать обобщенную функцию для произвольной монады. Но, правда, чем больше ею пользуюсь, тем больше мыслей о том, что лучше уже перейти на F# и писать меньше кода.