(let { a : Number } = { a = "hi" } in
a) : _