3.4.1. Ordering Data Constructors

TODO