let name : t -> string = fun t -> t.name