Data.Digit.Digit1

data Digit1 a