Чтобы "понимать монады" достаточно первых двух шагов. А третьего в мейнстрим языках все равно нет, поэтому это уже опционально
Ну и почему бы это не назвать понимаем таких-то и таких-то программных конструкций? При чём тут монады, если общность математической структуры этих конструкций никак не используется?