Monadability

[lomeo]

Рассматривая тип data S a = S a (S a) я увидел, что его нельзя сделать монадой - не будет работать либо первый, либо второй закон монад. Кто знает, есть ли какие то правила, позволяющие вычислить (или хотя бы почувствовать), что такой то тип не может быть монадой?

Comments

[ex-ex-zhuzh.livejournal.com]

ага, а вот fail придумать нельзя.