Haskell library for p-adic numbers