pub fn fold_super_prop<V: ?Sized + Fold>(
    _visitor: &mut V,
    n: SuperProp
) -> SuperProp