/examples/07-inductive-data-types-separate-namespaces/