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