5 ms·
It should have been obvious this was achievable once you realize that a monad is merely a monoid in the category of endofunctors!
by khazhoux 2y ago
It should have been obvious this was achievable once you realize that a monad is merely a monoid in the category of endofunctors!