Isolate type level set functionality, program NonMember, remove

[agocorona]

Hi!

I wonder if you can isolate your type level set in a different package, sort of like https://github.com/dorchard/type-level-sets

the advantage of yours is that it does not require ordering. By isolating it it would be used for any kind of effect system.

I would need it for my monad, which is a bit peculiar. It uses rebindable syntax, and I tried to use dorchard type level sets
https://github.com/agocorona/tltransient/blob/master/src/Transient/TypeLevel/Effects.hs

But since it requires ordering, it is a mess to add new effects. I plan to define and use dozens of programmer-defined effects beyond the specific ones of the library. I also need to express constraints in terms of nonMember (for example some functions can be applied only if the program does not execute some effects) and also remove effects (for example by the execution of some call, some effect can be removed).

[effectfully]

I also need to express constraints in terms of nonMember (for example some functions can be applied only if the program does not execute some effects) and also remove effects (for example by the execution of some call, some effect can be removed).

This is where things become really complex. I've been thinking about that and I don't know yet of a nice way to implement remove. Implementing nonMember might not be possible at all (but who knows). I'll continue thinking about these problems, but don't hold your breath.