Is there such a thing as ‘coeffect handlers’ – ie. some dual of effect handlers? I tried searching for them, but came up empty. That handler calculus talk/paper by made me wonder if it were possible to encode codata in a similar way…
Conversation
Aren't they just terms?
If a coeffect is a context, then a term that uses it is its handler.
That's the understanding I got from
