Hello all, I'm experimenting with the ST monad GHC/Hugs extension and came across a puzzling omisson: in GHC 4.06 if I import the LazyST module instead of the standard one then the knot-tying fixST combinator is not defined. Aparently the reason for this omisson is not documented in the ghc manual... BTW, in Hugs both LazyST/ST define fixST. Regards, Pedro Vasconcelos.