Usable security for the internet, Deux (in Haskell)