{-|
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