Nearly every programming language has some flavor of "structure" declaration , where the programmer can conjure a new type representing the composition of other primitive types or structures, neatly organized into named fields. While the concept is practically universal, the way the programmer defines and interacts with these types can vary dramatically between languages. In Scheme, such structures are called "records". I found that the existing facilities left a lot to be desired, so I wrote a