{-|
A complex example of jump-to-definition on let-bindings
-}
let f = \(f : Natural) ->
    let a = 1 in f + a

let a = f 1

let b = a + f 3

in b