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