hmm

Is there a version of elem that works with ordered infinite lists (i.e. search until the list element is >= the item, at which point return true if it's == and false if it's >)? Or do I have to roll my own?