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