Typealias conformance to protocols, why can't this simple thing be implemented?

Evolution Discussion
16

If anyone has an example of a use case for associatedprotocol I would love to hear about it!