Hacker News Reader

this has a real "a monad is a monoid in the category of endofunctors" energy to it

> To understand actegories, let’s start with the definition of a monoidal category

Definitely not written for someone with my starting knowledge, haha.