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