Non-concrete-class type projection’s have been axed :-/
As workaround, usually passing around a value and using path-dependent type would be suggested. I’m still hoping that erased values will make it and be admissable for path-dependent types. (thread)