https://github.com/apple/swift-evolution/blob/main/proposals/0416-keypath-function-subtyping.md