AH
Представим что у нас есть другая категория, где точки - эндофункторы (собсно почему эта категория и называется КАТЕГОРИЯ ЭНДОФУНКТОРОВ), а стрелочки являются естественными преобразованиями (и тут уже не так просто).
И в этой категории все моноиды будут монадами :D