“A monad in X is just a monoid in the category of endofunctors of X”© Categories for the working mathematician By Saunders Mac Lane
любой ребёнок это знает
любой ребёнок это знает