module BinarySearch ( find ) where