export declare type Predicate<A> = (a: A) => boolean;