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