[Haskell] Re: Question for the haskell implementors: Arrays, unsafePerformIO, runST

Data.Array.ST has runSTArray :: Ix i => (forall s . ST s (STArray s i e)) -> Array i e I think if you can implement that, then all your problems will be solved. -- Ben