ghc-finite-typelits 0.1.4.2 Finitely many values, indexed by type-level naturals

This package provides a Haskell type inhabited by finitely many values and indexed by type-level naturals.