Indexable before type families
Using Dynamic for the index data