Data.Digit.Digit4

data Digit4 a