fn unify(a: Variance, b: Variance) -> Variance
What is the variance that satisfies the two variances?