Module identifiers
Local identifiers
Qualified identifiers
Predefined simple identifiers
Identifiers for modules
Identifiers for types
Identifiers for constructors
Identifiers for values
Predefined qualified identifiers
Identifiers for types
Identifiers for constructors
Extended functionality
Functional patterns
Records