when you’ve got a structure type called location and need three of them as arguments, you write type annotations that suggest that Typed Racket knows the hidden secret of real estate