Numeric.Search
data Evidence a b
type Range b a
class InitializesSearch a x
splitForever
splitTill
search
searchM
smallest
largest