@LukaJCB For the ring hierarchy, I've removed the original abstraction (the base stuff, etc...) at the price of duplicating the laws for Group, AdditiveGroup and MultiplicativeGroup. In the end, the code is simpler and not much longer.
Hey guys, we're moving to sbt 1.0 with Dotty, so I ported typelevel/algebra's build to sbt 1.0, because it's part of our community build. The changes are not big, but would you be interested in a PR? Here's the commit: dotty-staging/algebra@43cc85a