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