A Haskell/Yesod development of a SaaS for Secure Messaging.