add some folding conveniences