[CST-2] Types: Ex 4.3.2

[R. Bansal]

Give an example of a let-expression not involving references which is
typeable in the ML type system of Section 2.3, but not in the ML+ref of
section 4.2??

Can't figure out the right example.

Reena
----