この資料をSMS送信: Quantitative information flow with Monads in Haskell