Anfonwch hwn fel neges destun: Quantitative information flow with Monads in Haskell