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