Contextual Abstractions (Scala 3)