pingServer :: (DSL repr) => repr (Pid RSing -> Process repr ())
pingServer = lam $ \p -> do send p tt
pingServer :: (DSL repr) => repr (Pid RSing -> Process repr ())
pingServer = lam $ \p -> do send p tt
pingServer = lam $ \p -> do send p tt