Vibing code quality

SPAKE2 in Haskell: How Haskell Helped