Data.Digit.Digit7

data Digit7 a