--- "effect": patch --- Fix `Unify.unify` so unions of `Effect` values collapse to a single unified `Effect` type again.