TypeScriptで型レベル計算の使い方を学ぶ 算術演算を型システムで実装する