Existential witnesses, singletons, and classes for operations on GHC TypeLits
Why do you think that https://github.com/haskell-nix/hnix is a good alternative to typelits-witnesses
Existential witnesses, singletons, and classes for operations on GHC TypeLits
Why do you think that https://github.com/haskell-nix/hnix is a good alternative to typelits-witnesses