This is the main module to be included by code using the Labeled IO
(LIO) library. This module exports the core library (documented in
LIO.Core), with support for labeled values (documented in
LIO.Labeled), privileges (documented in LIO.Privs), and gates
(documented in LIO.Gate).

Certain symbols in the LIO library supersede variants in the
standard Haskell libraries. Thus, depending on the modules
imported and functions used, you may wish to import LIO with
commands like these: