/examples/13-inductive-data-types/output/