なるほど、S1<Int>っていうメタタイプは存在しない（キャッシュにはあるかもだけど）から、これも動的に計算する必要があるんですね