A generalization of distributed-process functions to a MonadProcess typeclass and standard transformer instances using monad-control and similar technique.