Представь, что тебе нужно достать значение из объекта, который имеет большую вложенность, сделать что-то с этим значением и сохранить результат, НО, при условии того, что какие-то из уровней на пути к нужному свойству могут отсутствовать, это может повлечь за собой исключение, чтобы не допустить подобного, можно добавить многочисленные ифы или тернарки, которые будут громоздиться друг на друге и засорять алгоритм лишним кодом, а можно... использовать монаду! И абстрагировать тем самым свой код от второстепенных и отвлекающих вещей, типа ифов, сделать свой код чище, универсальнее и элегантнее