Monadability
Jul. 6th, 2006 04:13 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
lomeoРассматривая тип
data S a = S a (S a) я увидел, что его нельзя сделать монадой - не будет работать либо первый, либо второй закон монад. Кто знает, есть ли какие то правила, позволяющие вычислить (или хотя бы почувствовать), что такой то тип не может быть монадой?![[community profile]](https://www.dreamwidth.org/img/silk/identity/community.png){kind=small}