Introduce the RPC monad