Discuss: * nested modules, * imports (using, public, open), * aliases, * conventions for private nested modules, * automatically generated modules for records and inductive types.
Discuss: