finite-typelits (hackage): A type inhabited by finitely many values, indexed by type-level naturals.
Keywords: bsd3|data|library