2ETAVQ2DZ7ZC6WTKJ523DVJDS5KKGGALUJPKEEJ46NGUXKL655WQC
instance (Debatable a, Debatable b, Debatable c) => Debatable (a,b,c) where
weigh ~(a1,a2,a3) ~(b1,b2,b3) = weigh a1 b1 <> weigh a2 b2 <> weigh a3 b3
instance (Debatable a, Debatable b, Debatable c, Debatable d) =>
Debatable (a,b,c,d) where
weigh ~(a1,a2,a3,a4) ~(b1,b2,b3,b4) = weigh a1 b1 <>
weigh a2 b2 <>
weigh a3 b3 <>
weigh a4 b4