型推論的にはdecodeから見たら左が決定してそう