polysemy-plugin v0.4.1.0
·
69 commits
to master
since this release
The plugin will now use use knowledge of in-scope wanted constraints to help solve otherwise ambiguous Member constraints. For example if we have Members [Embed IO, Embed Identity] r in scope, and are trying to solve (Member (Embed m) r, MonadIO m), the plugin will choose m ~ IO, because that is the only possible instantiation that would typecheck.