Modularize TupAppend