How should Futhark expose irregular arrays to the programmer?