TwoAnnotations.dhall

{-|
This expression contains type annotations on both the `let` binding and on the
body of the `let` expression.  The documentation generator prefers to use the
latter annotation.
-}
let x = 1

let y = Natural

in  x : y