今のSE-0309 で associatedType つきの Protocol をフィールドに入れれるから型消去がいらなくなるってことですかね？ (AnyAnimal を用意する必要がいらなくなる)