```haskell
import Network.HTTP.Client
```

然后，我们需要定义一个函数来下载视频。这个函数将接收一个URL作为参数，并返回一个IO动作，该动作将下载视频文件到当前目录。
```haskell
downloadVideo :: String -> IO ()
downloadVideo url = do
  -- 创建一个http客户端
  client <- newHttpClient
  -- 构造一个HTTP GET请求，URL为url
  request <- newRequest GET url
  -- 使用服务器
  proxy <- newProxy "
  -- 使用代理服务器发送请求
  response <- sendRequest client proxy request
  -- 获取响应体
  responseBody <- responseBody response
  -- 将响应体写入到当前目录的video.mp4文件中
  writeFile "video.mp4" responseBody
  -- 关闭http客户端
  closeHttpClient client
```

这个程序会将视频下载到当前目录。如果你需要更改这些设置，只需要修改对应的参数即可。