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