improve on #126: workaround loss of qualification for type class assumption names#127
Merged
jvanbruegge merged 1 commit intomasterfrom Jan 13, 2026
Merged
improve on #126: workaround loss of qualification for type class assumption names#127jvanbruegge merged 1 commit intomasterfrom
jvanbruegge merged 1 commit intomasterfrom