Tesla Zhang‮

> So we should implement in this order: > > * typeclass w/o inheritance > * coercion as typeclass > * record inheritance through coercion > * typeclass inheritance through...

In Arend, they have this: ```lean class Functor F | bleh class Monad F extends Functor | blah instance ok : Functor Bla | bleh instance ko : Monad Bla...

> Are we going to have `ayaup` in the future if we use the system package manager now? Good point, it's just that current version of Aya is hard to...

Of course we will have that

> What is jpm? https://www.oracle.com/corporate/features/understanding-java-9-modules.html

> Sounds like Java ecosystem is in a mess. Yes, this is because Java didn't have a module system or package management system long time ago. The community designed a...

> Seems to be a bad choice of Oracle for not officialize the community solution already. I don't know. There are pros and cons. The community solution relies on jars,...

Also maybe it's hard for the standard library to be modularized in a way the community do

Idk

I decide to delay this until we reach some late-milestone, like 0.12 or 0.15, after some major language features are worked upon.