I just finished watching the talk, it seems it is ...
# arrow
r
I just finished watching the talk, it seems it is similar to free monad/ extensible effect, cmiiw.