Using explicit datatype constructors for clarity