Contextual Abstractions (Scala 2)