@hackage singleton-typelits0.0.0.0

Singletons and induction over GHC TypeLits

Singletons and induction schemes over GHC.TypeLits.Nat