Data.Digit.DigitD

data DigitD a