One of the nice side-effects is that you get the elements by-value (throw in .as_slice() for by-reference) and don't need the [..] syntax, which I've always found a bit ugly.
Often type inference will do the right thing for you, otherwise you'll need to add types yourself (let [a, b, c, d]: [u8: 4] = ...).