Printing tuples, with templates :: I suck at ATS