A Monad is just a monoid in category of endofunctor
And a monoid is just a group without invertible element
And a group is just category with one object and every morphism is isomorphism
And what the hell is category
insert another category theory jokes here
WIP, i might write random things here in the future