is a type check utility