• [1807.05923] What is algebraic about algebraic effects and handlers? | arxiv