Там не боттом. В той заметке считается, что *хаскельный* моноид, как он описан, не требует ассоциативности (и нейтральности единицы), так что в качестве свободного объекта получаются бинарные деревья, а не списки. Вообще, в языках, где нельзя описывать равенство, привычные структуры существуют в обрезанном виде.

А зачем тотальным санки, чтобы тотальные и ленивые одновременно? Как-то это странно звучит.