sO getMigration(O o) {
  ret applyUntilEqual_goOneBackOnNull(o, x -> getOpt meta_migratedTo(x));
}