Is 6 actually a limit, or is that just what is already defined? Could a new Show instance for 7-tuples be defined?