Binary and exponential searches, for both monadic and pure predicates.
Binary and exponential searches