let
get_team_name t = t.name