I have never used ':show bindings' before ... in other cases like
and
let x=23::Int
Since you gave explicit types, x is bound to strict values directly; it's only when no type is given that GHCi needs to translate the constant per the Language Report to an invocation of fromInteger.