import Network.HTTP

main = do
  b <- readFile "body.txt"
  let r0 = (postRequest "http://denebola.informatik.uni-bremen.de:8080/axis/services/VampireService")
          { rqBody = b }
      r1 = replaceHeader (HdrCustom "SOAPAction") "" r0
      r3 = replaceHeader HdrContentLength (show $ length b) r1
      r = replaceHeader HdrContentType "text/xml" r3
  res <- simpleHTTP r
  putStrLn $ case res of
    Left err -> show err
    Right rsp -> rspBody rsp