Sneak Peek: Bolt Math

ApothecaLabs:

There is also numeric-prelude as prior art, which looks so good until you click a module and see it is all class C a => C a where and I am instantly like

Sadly, this was a beautiful idea cut down by Haddock before it had a chance to take root. The idea is to go all in on qualified imports. If Algebra.Field exports a class representing fields, what are you gonna call it? Algebra.Field.Field? If you’re always gonna import qualified anyway, there’s no ambiguity in just calling it Algebra.Field.C!

But then Haddock strips all qualifications and you’re left with nonsense when reading docs.

(The idea might have never worked anyway since it forces users to use qualified imports, but I can imagine a world where that became the norm.)