This library provides support for both lazy and strict state
threads, as described in the PLDI '94 paper by John Launchbury and
Simon Peyton Jones ]. In addition to the
monad ST, it also provides mutable variables STRef and
mutable arrays STArray. As the name suggests, the monad ST
instance is lazy.
=======