↓の二段を解釈してコピーを省略するのはハードルが高そう・・・。
extension Foo: ExampleCompatible { public var ex: Example<Foo> { return Example(self) } } extension Example where Base == Foo { public var ab: Int { return base.a + base.b } }