public static A Sum <NUM, A>(this Tuple <A, A> self) where NUM : struct, Num <A> => TypeClass.sum <NUM, FoldTuple <A>, Tuple <A, A>, A>(self);