let to_list t = t