witha

With aspect: Monad chain, like Haskell's `do` or Clojure's `cats.core/alet`.