Why not use Ceph? There are solid Haskell bindings for RADOS: https://github.com/anchor/rados-haskell