Using type predicates 2. The