(structure (Pair-Of S T)
  (pair S T))

(structure (Triple-Of S T U)
  (triple S T U))