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