Symbol -package:what4

Haskell symbol, e.g. >>, :%
(Kind) This is the kind of type-level symbols.
varsym or consym
Utilities for working with KnownSymbol constraints.
(Kind) This is the kind of type-level symbols.

Symbols

Type-level strings. Note that the operators from this module conflict with GHC.TypeLits. Symbol also has instances of (<>) and MEmpty.
Symbols like forall, =, ->, etc.
Identifies the type of symbol used with the Point mark type. It is used with MShape, LeSymbolType, and LSymbolType. In version 0.4.0.0 all constructors were changed to start with Sym.
Define the `<symbol>` tag, equivalent to a named group.
Unique identifier and the string itself