Проще не скажешь
«…монада - моноидальный объект в категории эндофункторов: return - единица, а join - умножение. Проще этого и объяснить нельзя! Если это кажется запутанным, посмотрите на монаду как слабый функтор из терминальной бикатегории…»