Provide TH for generating "wrappers" around incompatible interfaces

[TheMatten]

Users are often interested in integrating existing libraries based around concrete monad / mtl-style typeclass with polysemy - while sometimes possible without much boilerplate (orphan instances), current situation mostly requires writing wrapper effects that delegate calls into some embedded monad. Investigate possibility of generating these wrappers with TH - possibly by taking name of effect, final monad and list of actions to wrap and creating effect with wrapped actions that interprets into final monad.

[adamConnerSax]

Is the ConstraintAbsorber machinery relevant here? Or do you mean something different from calling library functions with MTL-style constraints?

[TheMatten]

Hmm, I forgot about this one - so it allows fundeps, removes need for orphans and allows using existing methods from what I understand. Amount of code ends up being similar, but it feels cleaner and may better interop with other libraries. Yeah, thanks for pointing this out!