Définition récursive de la matrice

Question

Comme la liste liée pour le tableau, y a-t-il un comptoir récursif pour la matrice?

Existe-t-il une structure de données persistante qui peut être utilisée à la place de la matrice dans un langage fonctionnel pur comme Haskell?