give me two abstractions and I'll abstract them into a single high-level abstraction