-- Verify that users can use `.` to both access a record field and a union
-- constructor within the same expression.  This is a common idiom if a user
-- provides a types package.

let Scope = < Public : {} | Private : {} >
let types = { Scope = Scope }
in types.Scope.Public {=}