たしかによくよく考えると面倒そう。
型推論って?…ググル…文脈から型を推論するわけですか。ムズソウ
しょーもない単位間違いバグを発見して書きこんだけどやっぱいらないかな。