ループで回すところに関してはOpaqueになった時点で、静的に次の要素の型がわからないから、AnyViewとかでeraseすることになりそうですね