可能な場合、型引数にある明示的な型を暗黙的な
_
に置換します。