Qualified Expressions for Records (aka, record constructors)

Additional Information