export type predicate