Tuples represent fixed-length arrays with known element types. Aliasing a tuple clarifies intent (e.g., a coordinate). Return a new tuple instead of reusing the argument.
type Coord = [number, number].translate(c: Coord, dx: number, dy: number): Coord returning a new coordinate [c[0] + dx, c[1] + dy].