Consider the encoding of restricted type expressions as sequences of bits in Example 6.1. In Johnson {1979], the two-bit fields for constructors appeared in the opposite order with the field for the outermost constructor appearing next to the four bits for the basic type; for example,
