An expermient with data encrypted at Rest in Haskell