@hackage / finite-typelits

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