/examples/06-inductive-data-types/output/java/