fn fold_repr<It: Iterator<Item = Representability>>(
    iter: It
) -> Representability