handle variadic tuple types and disjointness for #856