; tuples are indexed from 1
; we know the tuple's size during typechecking, so this is a static typechecking
; error
{1 2 3}.4