具体的に考えるんだ
x の型が一意に決まらないとき show x はどうなるかとか