Dependency injection using `typealias` declarations

Using Swift
6

Yes this is once been pitched by @anandabits as "Generalized supertype constraint".