@hackage finite-typelits0.1.4.2

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

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