fun action () = setHeader (blessResponseHeader "Location") "http://www.google.com/"; return fun main () = ag <- getHeader (blessRequestHeader "User-Agent"); return User agent: {[ag]}