[type_check.h]
新規追加、基本的にSFINAEを使ったチェックは全部ここに。