Information-flow Control in Haskell