монады в борще более менее лишные смысла так как 1. компилятор вертел твои монады и ничего не чекает с ними 2. как уже было сказано выше он их вертел а поэтому не разделяет чистые и нечистые функции и ничего не оптимизирует тоже
монады в борще более менее лишные смысла так как 1. компилятор вертел твои монады и ничего не чекает с ними 2. как уже было сказано выше он их вертел а поэтому не разделяет чистые и нечистые функции и ничего не оптимизирует тоже