Data.Digit.Digit2

data Digit2 a