>>782
型が推測以前に四則演算だってただの関数だから
変更されるかも知れないのであらかじめ展開するのは…