¿Tipos dependientes que no trabajan para constructores?
Los tipos dependientes del camino son útiles:
trait Sys {
type Global
}
def foo[S <: Sys](system: S)(global: system.Global) = ()
¿Por qué no funciona esto para los constructores?
class Foo[S <: Sys](val system: S)(val global: system.Global)
¿O simplemente lo estoy haciendo mal?