singleton-typelits (hackage): Singletons and induction schemes for GHC TypeLits.
Keywords: bsd3|data|library