2010/9/13 Henning Thielemann <lemming at henning-thielemann.de>: > It means that variables bound by let, may be instantiated to different types > later. Can you give an example, please?