いいえ

3:00 PM

some は、コンテナに入ってますよ。

3:01 PM

真の型がわかるときは最適化して置換できるだけで

3:01 PM

実行表現としてのsomeは <T> とかと同じです。