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