Equatable の振る舞いを Generics で変えたい

EquatableWithGenerics.swift

struct A<T>: Equatable {
    let name: String
    // 2. 最悪、Tに比較メソッドを実装する
    // func == <T>(lhs: A<T>, rhs: A<T>) -> Bool {
    //     return T.compare(lhs, rhs)
    // }
}

func == <T>(lhs: A<T>, rhs: A<T>) -> Bool {
    return false
}

protocol P {}
protocol Q {}

func == <T : P>(lhs: A<T>, rhs: A<T>) -> Bool {
    return true
}

// 1. プロトコルで Equatable の挙動を変えたい

let a1 = A<P>(name: "name")
let b1 = A<P>(name: "name")
let r1 = a1 == b1
print(r1) // true にしたいけど、 false

let a2 = A<Q>(name: "name")
let b2 = A<Q>(name: "name")
let r2 = a2 == b2
print(r2)


// 3. 理想は Generics のデフォルトも使いたい
/*
let a0 = A(name: "name")
let b0 = A(name: "name")
let r0 = a == b
print(r0)
*/