map from folds_iso a b to folds_iso b a