¹This may sound contradictory, but Racket’s Void type corresponds to what is more commonly called the Unit type. This type is inhabited by a single value that is usually written unit or ()[?].