"A mathematician is a person who can find analogies between theorems; a better mathematician is one who can see analogies between proofs and the best mathematician can notice analogies between theories. One can imagine that the ultimate mathematician is one who can see analogies between analogies."

I wonder how models perform on finding analogies between analogies

Well, I suppose that explains monads. It’s one thing to see an analogy and quite another to make it the basis of an API.

> I wonder how models perform on finding analogies between analogies

Load-bearingly verbose, in my experience.