Quotes on abstractions