Labelled effects/injectivity/dependencies are coming to fused-effects:
Conversation
Replying to
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?
Replying to
Haven’t thought about it much yet but possibly via dependency on (some portion of) sig or m?
I would tend to prefer to have this be in the carrier’s purview rather than the effect’s, however, and that’s already trivial: add a constraint to the Algebra instance.
1
Show replies