exercising full context dependency with implict arguments in vectors.fst
restoring type of List.find