https://jml.io/posts/spake2-how-haskell-helped/