A library for light-weight information-flow security in haskell