Comment by throwawaymaths

you couldn't do that in zig because a type is potentially a valid value:

.{i32, 3} is a valid term in zig.