examine types