use struct constant for true tuple constant