A decentralised, security- and privacy-focused messaging application, written in Haskell.