pub fn fold_prop<V>(_visitor: &mut V, n: Prop) -> Prop where
    V: Fold + ?Sized