Simplify tuple.h