Proposal: Num instance for tuples