Half-completed crypto experiments in Haskell.