Короче как я понял, если язык хороший, типа Java - то монады в нем не нужны. А если ограниченный, типа хаскеля, то без монад ничего сложнее HelloWorld на нем не написать 🤔
где-то в этот момент должен прибежать кто-нибудь с фразой типа "но ведь Optional - это монада", а из другого угла скалист ему "но ведь Optional в джаве нарушает законы монады, значит, он не является монадой!"