let
get_name t = t.name