Support decomposing when one side is not a tyvar.