[swift-evolution] [Proposal] Higher Kinded Types (Monads, Functors, etc.)

[Will Fancher]

> while I agree that this kind of constraint is helpful and important for completing the generics picture, IMO it is probably less helpful/important than many people think.

While I would love to see HKTs in Swift as soon as possible, and I personally would really appreciate a good Monad setup, I have to say I agree with this. It'd be great to have, but it's not as important as anything else on Swift 3's todo list.

So this brings me to a question: If the community were to write HKTs into the language and submit a pull request, what is the likelihood that it would be accepted, despite the fact that the Swift team feels it is out of scope for their own Swift 3 efforts?