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