Я для себя понял, что если воспринимать любые абстракции просто из их формального определения, то со временем это будет приводить к ужасной неоптимальности, вплоть до полной неспособности пользоваться.
Чутка если копнуть теоркат, там миллион примеров определений, которые даются десятью непохожими друг на друга способами.
Нужно сидеть часами понимать, почему эти определения - одно и то же.
Зато, когда склеиваются - сразу появляется какая-то волшебная область, которую можно расширять, как буддистский пруд
О да. Определение монады одно на всех, а понимание у каждого своё. Может поэтому эту концепцию так трудно объяснить.