Data.Searchable
class Searchable a
forsome
forevery
class Finite a
finiteSearch
finiteCountPrevious
finiteCountMaybeNext