• Monolithic renaming
• Modular renaming
• Haskell and qualified names
• Other painful situations
• Co-induction (OCaml)
• Anonymous fields in records (OCaml)
• Modules and inaccessible qualified names (OCaml)
• Module parameters (OCaml)
• Unicode characters
• First-level inner modules in monolithic mode (OCaml)
• A final note