array extensions: Structure, head, tail