型推論

弟は型推論の授業があったそうな。ええのう。