{-|
On this example, `dhall-docs` will detect that the variable `a` is bounded
to a record literal and it will be aware that it uses dot-syntax.

When the user clicks `x` from `a.x`, it will jump to the `x` on the record-literal.
The same applies for each other field.
-}
let a = { x.y.z = 1 }

let ax = a.x
let axy = a.x.y
let axyz = a.x.y.z

in ax.y.z + axy.z + axyz