Use import statement to define type predicates.