https://muratkasimov.art/Ya/Articles/Adjusting-tensor-corepresentation/
It’s a follow up of this post about tensors, this time I demonstrate a technique of performing type level arithmetics to coerce a co-representing object for tensors of any rank and dimensions using subtyping relations.
P.S. I just realised that I didn’t include a link in previous post, here it is:
https://muratkasimov.art/Ya/Articles/Vectors,-matrices-and-tensors-for-free/