pub fn there_exists<R, I, F>(iter: I, f: F) -> Answer<R>where
    R: Ref,
    I: IntoIterator,
    F: FnMut(<I as IntoIterator>::Item) -> Answer<R>,