Ergo Proxy VS Monad Proxy