Data.Searchable

class Searchable a

forsome

forevery

class Finite a

finiteSearch

finiteCountPrevious

finiteCountMaybeNext