Deduplicate overlapping Notes [TyVar/TyVar orientation] in TcUnify and [Canonical orientation for tyvar/tyvar equality constraints] in TcCanonical
These Notes cover similar ground but say different things.
These Notes cover similar ground but say different things.