let
name t = t.name