The Swift Programming Language に Opaque Type の章できてるの見つけた。 Existential Type のことを Protocol Type と呼んでるんだけど、それに倣った方がいいのかな？ https://docs.swift.org/swift-book/LanguageGuide/OpaqueTypes.html
any 導入されたら some Animal と any Animal のどっちも "Protocol Type" に見えそうだし（もしくはどっちも見えなさそうだし）、やっぱり Existential Type の方がいいか。 (edited)