I implemented virtual traits in Scala [Paper]. The implementation can be found on Github.
Virtual traits extend the default inheritance in Scala to enable family polymorphism. This allows to easily solve the expression problem and achieve modular, extensible, low overhead, object-oriented code.