With aspect: Monad chain, like Haskell’s do or Clojure’s cats.core/alet
do
cats.core/alet
Either monad chain
Maybe monad chain