その型注釈は必須