We describe a language-based  dynamic information flow control (IFC) system called LIO Our system presents a new design point for IFC  influenced by the challenge of implementing IFC as a Haskell library  as opposed to the more typical approach of modifying the language runtime system