By using `#map` and equality, the order, arity, and uniform down-projection of fields is captured, and can be interpreted by a code reader, in one go.
By using `#map` and equality, the order, arity, and uniform down-projection of fields is captured, and can be interpreted by a code reader, in one go.