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