Монады - это банальная вещь.
Как только нужно работать с IO сложнее хеллоу ворда, их приходиться переизобретать, если их и так нету в вашем ЯП.
Сишники вот переизобретают извращенными хаками.

В расте оно по умолчанию для всего IO.

> Назови хотя бы 2-3 серьезные прогрмаммы написанных на хаскеле? Например какой-нибудь редактор

Назови хотя бы 2-3 серьезные прогрмаммы написанных на V? Например какой-нибудь редактор
Назови хотя бы 2-3 серьезные прогрмаммы написанных на Zig? Например какой-нибудь редактор
Назови хотя бы 2-3 серьезные прогрмаммы написанных на Java Script? Например какой-нибудь редактор

Ой, на ЖС то серьездных редакторов есть.

Вы суть упускаете. В Хаскеле есть всё, включая совметимость с сишкой.
Все эти изобретатели нескучной сишки делают кривое подмножества Хаскеля, зачастую не понимаяя теории ЯП, не проведя никакой анализ, а просто реализуя свои хотелки велосипедным способом. Когда всё уже много лет как придуманно и реализованно.

Раст хотя-бы что-то сделал правильно, и делает упор на инфраструктуру.
А без развитой инфраструктуры ваши D E F G V Z и прочие наколенные поделки - нафиг ненужны.