Closed yallop closed 7 months ago
and "Category-Graded Algebraic Theories and Effect Handlers", also by @sndtkrh
and "Category-Graded Algebraic Theories and Effect Handlers", also by @sndtkrh