Distributed locks, RPC, and global registration for Cloud Haskell