Labelled effects/injectivity/dependencies are coming to fused-effects:
Conversation
Sounds awesome! Haven’t looked at the code yet (on my phone), but can you make it so that you enforce that one effect is handled before another?
1
1
Replying to
Nah was just something on my mind, re. dependent row types. No idea if it is of any use though. Though I hear people talk about how algebraic effect systems can’t express things like continuations and it makes me wonder... bit out of my depth though!
Replying to
as it happens, they can— & demonstrated that last year (actually ages ago but that’s when it was published). the trouble as I recall is that the effect uses the higher-order parameter `m` invariantly so it doesn’t place nicely with other effects.
1
2