Symbol package:first-class-families

Symbols

Type-level strings. Note that the operators from this module conflict with GHC.TypeLits. Symbol also has instances of (<>) and MEmpty.
(Kind) This is the kind of type-level symbols.