Data.Digit.DigitA

data DigitA a