(This is ignoring questions about modularity and more complicated forms of abstraction—that seems even more hopeless to tackle in a generic way).