Скалоебство

[errorrishe]

http://w.pitula.me/2016/monad-proof/
По ссылке The Proof - Monad as a Monoid in Category of Endofunctors
Но почему то пруф на scala типа на пальцах
Надо почитать вечером(хз зачем мне єто)

Comments

[http://users.livejournal.com/_xacid_/]

чтото категория у него (тем более моноидальная сразу так) не внушает доверия ...
вот почему мы должны вдруг реально поверить ему на слово что перед нами таки сразу моноидальная категория?