Estoy tratando de hacer que Scala encuentre el tipo correcto para un tipo dependiente de ruta que viene de un tipo singleton. primer lugar, aquí es el contenedor tipo para el ejemplo, y una instancia:
Tengo varias clases de tipos de almacén de datos que se ven todas iguales. trait FooStore[C] {
def create(f: FooId => Foo)(c: C): Foo
// update and find methods
}
me gustaría simplificar