More related progress, the type-class plugin is working in my local branch in both CLI and IDE augmenting function scopes

Not really related but... How close does keep87 come to typeclasses?

It enables type classes besides injection for extensions. This plugin can do more that what was proposed in Keep 87. For example navigation to type classes and in call sites display which instances have been selected in the editor. Are you thinking on a specific type class feature from other language?

Not really

Do we have any document for this plugin like Keep 87?

Not yet, but will come with docs soon once meta has its first release by around October

cool, can't wait to try the first release