Why does a unique partial index like the one below let you enforce "at most one default address per user" while a plain UNIQUE constraint on `(user_id)` cannot?
CREATE UNIQUE INDEX one_default_per_user
ON addresses (user_id)
WHERE is_default = true;