MonadPlus instance for Proxy