Arithmetic on Curve25519 in Haskell