[Haskell] Real life examples

[Marcin 'Qrczak' Kowalczyk]

Lennart Augustsson <lennart at augustsson.net> writes:

> An "easy" way to prove it is to provide an equivalent implementation
> that uses only pure functions. As far as I remember Control.Monad.ST
> can be written purely. And I think the same is true for Data.Dynamic.

I think neither of them can.

-- 
   __("<         Marcin Kowalczyk
   \__/       qrczak at knm.org.pl
    ^^     http://qrnik.knm.org.pl/~qrczak/