Functions to generate the code of
tupleops'
trait implementations.