Там не боттом. В той заметке считается, что *хаскельный* моноид, как он описан, не требует ассоциативности (и нейтральности единицы), так что в качестве свободного объекта получаются бинарные деревья, а не списки. Вообще, в языках, где нельзя описывать равенство, привычные структуры существуют в обрезанном виде.
А зачем тотальным санки, чтобы тотальные и ленивые одновременно? Как-то это странно звучит.
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
timeasmymeasure
no subject
Date: 2015-03-03 07:39 am (UTC)А зачем тотальным санки, чтобы тотальные и ленивые одновременно? Как-то это странно звучит.