Hacker News new | ask | show | jobs
by tedeh 1477 days ago
I'm pretty sure a monad is just an endoid in the category of monofunctors?