Оттого, что хаскель настолько плох? Но он на самом деле не очень плох, скока людей на нём пишут и попробуй их заставь на чём-то другом писать, за уши не оттащишь
Это интерфейс для типов, используя который можно писать последовательные цепочки вычислений, где следующие вычисления произвольно зависят от результатов предыдущих. Также монадами называют просто типы, для которых этот интерфейс реализован