tsでunion辛いは、例えばkindを宣言したりして緩和するけど、それは実行時型情報あれば出来るから