Types which are instances of the Coordinates class can be
constructed using & (for example, a three-dimensional vector
could be constructed by 1 & 6 & 3), and deconstructed using
coords. A common pattern is to use coords in conjunction
with the ViewPatterns extension, like so: