@hackage ghc-symbol0

Symbol on term level

Installation
In your cabal file:
Tested Compilers
Dependencies (4)
- base >=4.14.0.0 && <4.18
- binary ^>=0.8.8.0
- deepseq ^>=1.4.4.0
- template-haskell >=2.16 && <2.20
Dependents (0)

This package fleshes out Symbol on term level, so we can use the same type for terms and promoted to type level.