Protocol extensions and inheritance

[mwielondek (Milo Wielondek)]

@wtedst

What you can do for your own types instead is to declare a protocol composition

This still doesn't quite solve the problem I described, ie getting all types (not necessarily mine) that already conform to A, to also conform to B (by providing default implementation).