First sketch of the indexable data type