Seol mar théacs é seo: Quantitative information flow with Monads in Haskell