Если рассматривать монаду в контексте программирования, то это контейнер, позволяющий контролировать сайд-эффекты и в какой-то степени управлять ими. Если подойти с более технической стороны, то монады это некая абстракция для вычислений, которые связаны между собой