expr は実行時には評価されません。コンパイル時のデータ型を決定するためだけにコンパイルされ、その後は破棄されます。これは type-of とは異なります。これは実行のたびにパラメータを評価して、実際の実行時の型を返します。実行時の型は、コンパイル時の型のサブタイプである場合もあります。