{-|
Although we have a similar example on this [file](./RenderTypeIndexesExample.dhall),
this example showcases the jump-to-definition feature when indexes are used.
-}
let a = 1

let a = 2

in a@1