dhall-1.19.0: tests/normalization/success/simple/letletA.dhall

let l = λ(n : Natural) → λ(m : Natural) → λ(x : Natural) → n + m * x
let f = l 2 3
in  f 445