type checking for the current type only