Sure, but eventually you have to write a doubly-nested loop to walk over your abstractions. Which is rather a concrete thing to do.