with an example pointing to Category Theory as a high level of abstraction, if I recall correctly