Yes, that's what we do: Migrations with proper sum types and exhaustiveness checking.