fun main () : transaction page = ua <- requestHeader "User-Agent"; case ua of None => return Not found | Some s => return User-Agent: {[s]}