В Hask всякая монада сильна, и далее по списку; некоторые хаскельщики даже понимают, почему. Категории, которые не-Hask, бывают, но нам надо именно Hask. То есть, конечно, по-хорошему надо бы что-то другое, потому что Hask вообще непонятно что такое, но другого ничего нет. Ну по крайней мере не всякая комонада косильна в Hask (и некоторые хаскельщики даже понимают, почему). Спасибо за то, что есть, о большем можно помечтать на досуге.