Validating ordered array of multiple types

I think that’ll get me 90% of what I want, thanks @solnic!