How should Futhark expose irregular arrays to the programmer?

Part of

Efficient Data Structures And Pipelines