(let ((type point (record int int))
      (type triangle (record point point point))
      (type trace (array point))
      (type street (record trace string))
      (var ourstreet street (new street)))
  (:= (dot ourstreet 1) "ridge"))