U16/from_nat.kind