Data.Type.Symbol
type Length sym = Length' 0 (UnconsSymbol sym) Source #
Get the length of a symbol.
type family Length' len mchsym where ... Source #
Equations