They are using effect-ts which uses yield as their equivalent to haskells Do notation.