koher

[any Foo] 自体はこれまでもできたけど、 associatedtype があると existential にできなかったようなケースができるようになった（なる）ので。 (edited)

type erasureを手書きしていたケースが any P でタダで使えるのは便利ですね。