以下是一个使用HXT和Haskell编写的下载器程序，用于下载内容。此程序使用了proxy的代码。

-- 导入必要的库
import Network.HTTP.Conduit
import Network.HTTP.Types.Status
import Network.HTTP.Types.Header
import Data.Conduit
import Data.Conduit.Network
import Data.ByteString.Lazy
import Data.Maybe
import Control.Monad.Trans.Resource
import Text.HTML.DOM
import Text.XML.Cursor
​
-- 获取服务器的IP地址
getProxyIP = do
    response <- simpleHttp ""
    let ip = head . fromJust . lookup "ip" . responseHeaders $ response
    return ip
​
-- 使用HXT下载网页内容
downloadPage = do
    -- 获取服务器IP地址
    proxyIP <- getProxyIP
    -- 创建一个HTTP请求
    request <- parseRequest $ "http://www.wechat.com"
    -- 设置服务器
    let proxy = ProxyRequest proxyIP (fromIntegral . fromEnum $ requestMethod request)
    -- 使用HXT下载网页
    html <- runResourceT $ -> do
        response <- httpLbs proxy manager request
        case response of
            Left err -> fail $ show err
            Right r -> do
                let body = responseBody r
                -- 使用HXT解析HTML
                let dom = parseLBS def body
                -- 从DOM中提取所需的内容
                let content = getElementText (getElementById "content" dom)
                return content
​
-- 主函数
main = do
    -- 下载网页内容
    content <- downloadPage
    -- 打印下载的内容
    putStrLn content

这个程序首先获取一个服务器的IP地址，然后使用HXT库下载内容。在解析HTML后，程序从DOM中提取所需的内容并将其打印出来