Data.Digit.Hexadecimal
type HexadecimalNoZero d
type Hexadecimal d
type HexadecimalNoZeroDigit d1 d2 d3 d4 d5 d6 d7 d8 d9 da db dc dd de df
type HexadecimalNoZeroDigit' d
type HexadecimalDigit d0 d1 d2 d3 d4 d5 d6 d7 d8 d9 da db dc dd de df
type HexadecimalDigit' d