Data.Digit.DigitE

data DigitE a