Exception implementation of find is typechecking; have to test