Back out type unification
Back out type unification

This is getting to be too ad hoc. I have a better idea using a one-off type
rule.

cucapra/braid,guoyiteng/braid,guoyiteng/braid,guoyiteng/braid,guoyiteng/braid,cucapra/braid,cucapra/braid,guoyiteng/braid,cucapra/braid,cucapra/braid,cucapra/braid,guoyiteng/braid