[Haskell-cafe] Binding of an integer variable

I have a question about the following GHCi interaction: Prelude> let x = 23 Prelude> :show bindings x :: Integer = _ What is the meaning of the underscore in the third line? Why doesn't it say this, instead? x :: Integer = 23