In the language defined in Sect. 4.2, variables bound in letexpressions have no declared type, so it is possible to write a program where the same let-bound variable sometimes is bound to an integer...

In the language defined in Sect. 4.2, variables bound in letexpressions have no declared type, so it is possible to write a program where the

same let-bound variable sometimes is bound to an integer and at other times to a

boolean value.

Write an example of such a program.