CSV files and inner join

Stream: general

[Martin Dvořák]

I want to parse a few CSV files, save data from each of them in a term of type T, and later I want to perform operations like inner join. What type should I choose as T in Lean? Should I use List or Array or something else?