型推論ともちょっと違うからなあ