Algebraic effects and handlers for arrows - Sanada, Takahiro (Journal of Functional Programming)