Protocols are in better shape than concrete types now

[jjatie]

https://forums.swift.org/t/pitch-extensions-on-bound-generic-types/