prop_host_is_added old =
  let Just base = importURL "http://www.company.com/some/page?name=dan&age=20"
      new = (makeAbsolute base old)
  in case (url_type old) of
       PathRelative -> (url_type new)   == (url_type base) && 
                       (url_path new)   == (url_path base) >/< (url_path old) &&
                       (url_params new) == (url_params old)
       HostRelative -> (url_type new)   == (url_type base) &&
                       (url_path new)   == (url_path old) &&
                       (url_params new) == (url_params old)
       Absolute _   -> new == old
prop_host_is_added old =
  let Just base = importURL "http://www.company.com/some/page?name=dan&age=20"
      new = (makeAbsolute base old)
  in case (url_type old) of
       PathRelative -> (url_type new)   == (url_type base) && 
                       (url_path new)   == (url_path base) >/< (url_path old) &&
                       (url_params new) == (url_params old)
       HostRelative -> (url_type new)   == (url_type base) &&
                       (url_path new)   == (url_path old) &&
                       (url_params new) == (url_params old)
       Absolute _   -> new == old
prop_host_is_added old =
  let Just base = importURL "http://www.company.com/some/page?name=dan&age=20"
      new = (makeAbsolute base old)
  in case (url_type old) of
       PathRelative -> (url_type new)   == (url_type base) && 
                       (url_path new)   == (url_path base) >/< (url_path old) &&
                       (url_params new) == (url_params old)
       HostRelative -> (url_type new)   == (url_type base) &&
                       (url_path new)   == (url_path old) &&
                       (url_params new) == (url_params old)
       Absolute _   -> new == old