https://github.com/apple/swift-evolution/blob/master/proposals/0143-conditional-conformances.md