型推論って「型書かなくていいから便利だよね」くらいの説明しか見たことない