Grant Sanderson mentioned this somewhere
with an example pointing to Category Theory as a high level of abstraction, if I recall correctly