Symbol package:protolude

(Kind) This is the kind of type-level symbols.

This class gives the string associated with a type-level symbol. There are instances of the class for every concrete literal: "hello", etc.

This type represents unknown type-level symbols.

Convert a string into an unknown type-level symbol.