This proposal is a bridge Haskell's type classes and class-based OOP. It also addresses a pet theme of mine, which is the ability to add methods to classes and define groups of related methods together.
The core unit of organization is called a category, and it is a bundle of statically dispatched methods based on a shared receiver type (a