Exponer un tipo dependiente de la ruta proveniente de un tipo singleton

Estoy tratando de hacer que Scala encuentre el tipo correcto para un tipo dependiente de la ruta que proviene de un tipo singleton. Primero, aquí está el contenedor de tipo para el ejemplo, y una instancia: trait Container { type X def get(): ...