A step towards improving the state of Haskell cryptography