symbols (hackage): Utilities for manipulating type-level strings natively.
Keywords: bsd3|dependent-types|library