Stephen Lazaro

Would a PR that executed this migration be welcomed?

Yeah, +1. After I (finally) finish the Decideable PR, I can take a shot at this. Though do we get a genuine MonoidK in the Decideable case? I thought that...

That diagram has some actually delightful symmetry, sort of reminds me of the Zassenhaus Butterfly Lemma

That's a good call @catostrophe. Good catch. Is it really worth switching to `Divisible` though, and changing the method names? We went back and forth on the naming a bit...

@LukaJCB I incline towards option (2) but I imagine we could get by with either. (2) has the advantage of allowing us to make changes upon 2.0 if things shake...

@catostrophe Fair point. Worth thinking about how much divergence is acceptable before it's a problem...

Thanks for the feedback @LukaJCB ! It may take me a day or two to incorporate, but good points all.

Just an update, due to work I haven't had much time to work on this, but I hope in the coming weekend to hammer out the remaining issues.

Finally had time to return to this, I'll be merging and resolving conflicts and incorporating any feedback I missed.

@kubukoz I can definitely come back to this this weekend, I mostly just got distracted and was under the impression it might not be binary compatible. If I don't get...