{-| This examples shows a demo of jumping to a let-binding definition. If you hover the `a` variable, the front-end will highlight all of its usages and if you click it you will navigate to its definition. The amount of empty lines left are intentional to show you how the browser jumps to the declaration of a -} let a = 1 in a