В чем разница между == и : в быстром расширении, где условие

У меня есть вопрос в быстром расширении:

protocol Racer {
    var speed: Double { get }
}
extension Sequence where Iterator.Element == Racer {
    func fastest() -> Iterator.Element? {
        return self.max(by: { (a: Iterator.Element, b: Iterator.Element) -> Bool in
            return a.speed < b.speed
        })
    }
}

extension Sequence where Iterator.Element: Racer {
    func bla() -> Void {

    }
}

Мне интересно, в чем разница между ними. На самом деле массив типа [Racer] не имеет функции bla().

Редактировать 1: есть еще вопрос, если предположить, что у нас есть структура, соответствующая Racer

struct Human: Racer {
    var speed: Double
}

Если у нас есть Array<Racer>:

let me = Human(speed: 99999)
let you = Human(speed: 99998)
let arr: [Racer] = [me, you]
// Threre's no problem, we can do this
arr.fastest()

// but 
let arr2: [Human] = [me, you]
// this Array won't have the `fastest` function
arr2.fastest() ------> Error!

Итак, мне нужно одновременно расширить == и : для одной и той же функции?