[Haskell-cafe] ST Monad - what's wrong?

[Alfonso Acosta]

On Dec 9, 2007 2:39 PM, pepe <mnislaih at gmail.com> wrote:
> The typechecker in 6.6.1 gets confused by the ($) and loses track of
> the 'freeness' of s (the thread variable) . The same code should work
> fine in 6.8.1, or alternatively in 6.6.1 without the ($).

True. However, note that the release notes of 6.8.1 encourage not to
rely in this "new feature" because it can change in the feature.