@hackage finite-typelits0.2.0.1

A type inhabited by finitely many values, indexed by type-level naturals

A type inhabited by finitely many values, indexed by type-level naturals.