Comment by throw_await

And by introducing Monad, we gain the ability to abstract over these things: List, Option, Result, Functions, State, ...