Data.Digit.Digit9

data Digit9 a