Agda-Arrays Exploration of ideas related to arrays and data layout in agda. Currently limited to thinking about a principled way to do SOA.