@hackage finite-table0.1.0.1

Types isomorphic to Fin, and Tables indexed by them.

This provides a class Finite for types isomorphic to some `Fin n`, and uses it to implement array-backed total maps (Tables) indexed by them.