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