let has_type_int i e = guard i e