Lava.MyST
data ST s a
data STRef s a
newSTRef
readSTRef
writeSTRef
runST
fixST
unsafePerformST
unsafeInterleaveST
unsafeIOtoST