/examples/14-inductive-data-types-separate-namespaces/output/