let exists t ~f = exists t ~f