typ t = (((id)))
typ t2 = (id: (int))
typ t3 = (((({}))))