Data.Digit.DigitF

data DigitF a