simplify instances for tuples and eithers, and introduce helpers for perturbing products of dimensions 2 - 10