Data.Digit.Binary
type BinaryNoZero d
type Binary d
parseBinaryNoZero
parseBinary
type BinaryNoZeroDigit d1
type BinaryDigit d0 d1
type BinaryDigit' d