more type guards