there is `getOrElse` but after it is cast to Right...
# arrow
a
there is
getOrElse
but after it is cast to Right, it is never going to fail