I read about isomorf yesterday... it might be kinda like what you're looking for?

Possibly relevant blog post from Brian McKenna, too: https://brianmckenna.org/blog/polymorphic_programming

[1] https://isomorf.io/