Re-export `Proxy(..)` from module `Servant`