This module implements labeled IORefs. The interface is analogous to Data.IORef, but the operations take place in the LIO monad. Moreover, reading the LIORef calls taint, while writing it calls wguard. This module exports only the safe subset (non TCB) of the LIORef module -- trusted code can import LIO.LIORef.TCB.