Data.Digit.DigitC

data DigitC a