Type Definition flatk::U9

type U9 = U<U9>;