конкретно в случае Optional - планирование вычисления над значением, которого может и не быть.. нету - нечего и вычислять.. есть - ок, вычислим и вернём опциональное b
могут быть и другие случаи помимо Optional. другие цели, другие конь-тексты, другие "значения" у этого всего такого монадического.. но до этого надо, видимо, с Optional разобраться