simplify DEBUG_WITH_TYPE usage