Data.Digit.Digit5

data Digit5 a