We'll genericize arrays and maps in the next step