(define t::(tuple int int)) (assert (= (select t 1) 1/2))