lmonad-0.1.0.0: LMonad is an Information Flow Control (IFC) framework for Haskell applications.
LMonad
Description
A generalization of LIO's core components to work for any monad, instead of just IO.