type_identity(型の同一性)