Thanks. Looks interesting. It is using very similar design to kmath only with Scala type calasses instead of contexts and generic specialization instead of inlines.

Yeah, it's a type-level encoding of the same basic ideas https://arxiv.org/pdf/1710.06892.pdf

Now I have another comparison of type classes and contexts. And in my case contexts have state which type classes can't have😁