A generalization of distributed-process functions to a MonadProcess typeclass and standard transformer instances using monad-control and similar technique.
Why do you think that https://github.com/EarnestResearch/hlivy is a good alternative to distributed-process-lifted